Catalogo · 9783540688044
Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series)
Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel H. Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein
ISBN 9783540688044
Descrizione non disponibile per questo libro.
La tua libreria
Accedi per aggiungere questo libro alla tua libreria.
Lettori
Communitas attorno al libro
Letture affini
Lectures in game theory for computer scientists
Krzysztof R. Apt, Erich Grädel
Logic and automata
Jörg Flum, Erich Grädel
Finite Model Theory and Its Applications
Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel H. Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein
Classical Decision Problem
Egon Börger, Erich Grädel, Yuri Gurevich
Computer Science Logic
Erich Grädel, Reinhard Kahle
Automata, Logics, and Infinite Games
Erich Grädel, Wolfgang Thomas, Thomas Wilke
Verba volant · scripta manent