Cilicia
- 期刊名称The Journal of Hellenic Studies
- 作者Schaffer, Franz X.
- 卷第24卷
- 印刷ISSN0075-4269
- 文件大小79.08KB
- 发表时间1904
- DOI10.2307/624016
PEBBLE GAMES AND LINEAR EQUATIONSGROHE, MARTIN; OTTO, MARTIN · The Journal of Symbolic Logic · 2015
Arity hierarchiesMartin Grohe · 1996
An existential locality theoremMartin Grohe; Stefan Wöhrle · 2004
Constraint satisfaction with succinctly specified relationsHubie Chen; Martin Grohe · 2010
Computing crossing numbers in quadratic timeMartin Grohe · 2004
The complexity of partition functionsAndrei Bulatov; Martin Grohe · 2005
Deep HabitsRAVN, MORTEN; SCHMITT-GROHE, STEPHANIE; URIBE, MARTIN · Review of Economic Studies · 2006
Enumerating homomorphismsAndrei A. Bulatov; Víctor Dalmau; Martin Grohe; Dániel Marx · 2012
Computability and λ-DefinabilityA. M. Turing · The Journal of Symbolic Logic · 1937
Definability and Decision Problems in ArithmeticJulia Robinson · The Journal of Symbolic Logic · 1949
Arithmetical Problems and Recursively Enumerable PredicatesMartin Davis · The Journal of Symbolic Logic · 1953
The Interpretability Logic of Peano ArithmeticAlessandro Berarducci · The Journal of Symbolic Logic · 1990
Steps Toward a Constructive NominalismNelson Goodman and W. V. Quine · The Journal of Symbolic Logic · 1947
A Completeness Theorem in Modal LogicSaul A. Kripke · The Journal of Symbolic Logic · 1959
Models and RealityHilary Putnam · The Journal of Symbolic Logic · 1980
A Theory of Restricted Quantification ITheodore Hailperin · The Journal of Symbolic Logic · 1957