2006 | ||
---|---|---|
7 | EE | 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 | EE | 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 | EE | 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 |
1 | Francisco Kibedi | [7] |
2 | John Mylopoulos | [1] [2] |