Rezultaty wyszukiwania według autorów

1

Explicit substitutions and all that

od Ayala-Rincón, Mauricio

Wydane 2004

Access document

Article

Dodaj do listy ulubionych książek

Zapisane w:
2

Unification modulo Presburger Arithmetic and other decidable theories

od Ayala-Rincón, Mauricio

Wydane 2013

Access document

Article

Dodaj do listy ulubionych książek

Zapisane w:
3

Architectural specification, exploration and simulation through rewriting-logic

od Ayala-Rincón, Mauricio

Wydane 2002

Access document

Article

Dodaj do listy ulubionych książek

Zapisane w:
4

Fixed-point constraints for nominal equational unification

od Ayala-Rincón, Mauricio

Wydane 2018

Access document

Dodaj do listy ulubionych książek

Zapisane w:
5

On automating the extraction of programs from termination proofs

od Kamareddiney, Fairouz

Wydane 2004

Kolejni autorzy: “...Ayala-Rincón, Mauricio...”

Access document

Article

Dodaj do listy ulubionych książek

Zapisane w: