Trefferliste "Ruy De Queiroz" - alle Bücher

Ihre Suche nach "Ruy De Queiroz" (Bücher) ergab 2 Treffer.

Logic, Language, Information, and Computation

Lecture Notes in Computer Science - Band 16757

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 32nd International Workshop on Logic, Language, Information, an…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 72,27* Aktueller Preis: EUR 72,27

Artikel merken

In den Warenkorb

Menge ändern

Arthur Freitas Ramos, Ruy J. G. B. De Queiroz, Anjolina Grisi de Oliveira

Computational Paths. The Calculus of Equality

When are two proofs of the same proposition equal? This book answers through computational paths - explicit syntactic witnesses that record how one proof-term rewrites into another. Continuing the program…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 44,46* Aktueller Preis: EUR 44,46

Artikel merken

In den Warenkorb

Menge ändern