1 |
Ambiguity of $\omega$-Languages of Turing Machines
|
|
|
|
In: EISSN: 1860-5974 ; Logical Methods in Computer Science ; https://hal.archives-ouvertes.fr/hal-00735050 ; Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2014, 10 (3:12), pp.1-18 (2014)
|
|
BASE
|
|
Show details
|
|
2 |
Mémoire d'habilitation à diriger des recherches
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-01096078 ; Logic in Computer Science [cs.LO]. Université Blaise Pascal (Clermont-Ferrand 2), 2012 (2012)
|
|
BASE
|
|
Show details
|
|
4 |
Monadic Second-Order Logic and Transitive Closure Logics over Trees
|
|
|
|
In: http://tcl.sfs.uni-tuebingen.de/~kepser/papers/wollic2006.pdf
|
|
BASE
|
|
Show details
|
|
5 |
524 Session No. 13 Computer Understanding II (Representation) SOME RELATIONS BETWEEN PREDICATE CALCULUS* AND SEMANTIC NET REPRESENTATIONS OF DISCOURSE ABSTRACT
|
|
|
|
In: http://dli.iiit.ac.in/ijcai/IJCAI-1971/PDF/047%20A.pdf
|
|
BASE
|
|
Show details
|
|
|
|