Implicit Definability and Infinitary Logic in Finite Model Theory

Authors:
Anuj Dawar;Lauri Hella;Phokion G. Kolaitis
Affiliations:
-;-;-
Venue:
ICALP '95 Proceedings of the 22nd International Colloquium on Automata, Languages and Programming
Year:
1995

On non-determinism in machines and languages

Annals of Mathematics and Artificial Intelligence
Recursive Definitions and Fixed-Points

Electronic Notes in Theoretical Computer Science (ENTCS)
Randomisation and derandomisation in descriptive complexity theory

CSL'10/EACSL'10 Proceedings of the 24th international conference/19th annual conference on Computer science logic
Recursive definitions and fixed-points on well-founded structures

Theoretical Computer Science

Hi-index	0.00