RAIRO - Theoretical Informatics and Applications · 1990 · 20 citations · 2 references
Natural SciencesMathematicsCombinatoricsDynamical SystemsSet TheoryModel TheoryModular FormsSaturation
de ce fichier doit contenir la prsente mention de copyright.
2
Decision problems forω-automata
Lawrence H. Landweber · Theory of Computing Systems · 1969 · 259 citations