George Tourlakis

According to our database, George Tourlakis authored at least 9 papers between 1973 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Computability

George Tourlakis

Springer, ISBN: 978-3-030-83201-8, 2022

2010

On the Proof-Theory of two Formalisations of Modal First-Order Logic.

Yehuda Schwartz, George Tourlakis

Stud Logica, 2010

2006

A Modal Extension of Weak Generalisation Predicate Logic.

Francisco Kibedi, George Tourlakis

Log. J. IGPL, 2006

2001

On the Soundness and Completeness of Equational Predicate Logics.

George Tourlakis

J. Log. Comput., 2001

Computability in Type-2 Objects with Well-Behaved Type-1 Oracles is p-Normal.

George Tourlakis

Fundam. Informaticae, 2001

1996

Recursion in Partial Type-1 Objects With Well-Behaved Oracles.

George Tourlakis

Math. Log. Q., 1996

1986

Some Reflections on the Foundations of Ordinary Recursion Theory and a New Proposal.

George Tourlakis

Math. Log. Q., 1986

1984

An Inductive Number-Theoretic Characterization of NP.

George Tourlakis

Inf. Process. Lett., 1984

1973

Some Results in Computational Topology.

George Tourlakis, John Mylopoulos

J. ACM, 1973