 | 2006 |
|---|
| 7 |       | Francisco Kibedi,
George Tourlakis:
A Modal Extension of Weak Generalisation Predicate Logic.
Logic Journal of the IGPL 14(4): 591-621 (2006) |
| 2001 |
|---|
| 6 |  | George Tourlakis:
Computability in Type-2 Objects with Well-Behaved Type-1 Oracles is p-Normal.
Fundam. Inform. 48(1): 83-91 (2001) |
| 5 | | George Tourlakis:
On the Soundness and Completeness of Equational Predicate Logics.
J. Log. Comput. 11(4): 623-653 (2001) |
| 1996 |
|---|
| 4 | | George Tourlakis:
Recursion in Partial Type-1 Objects With Well-Behaved Oracles.
Math. Log. Q. 42: 449-460 (1996) |
| 1984 |
|---|
| 3 | | George Tourlakis:
An Inductive Number-Theoretic Characterization of NP.
Inf. Process. Lett. 19(5): 245-247 (1984) |
| 1973 |
|---|
| 2 | | George Tourlakis,
John Mylopoulos:
Some Results in Computational Topology.
J. ACM 20(3): 439-455 (1973) |
| 1972 |
|---|
| 1 | | George Tourlakis,
John Mylopoulos:
Some Results in Computational Topology
FOCS 1972: 40-51 |
