dblp.uni-trier.dewww.uni-trier.de

George Tourlakis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2006
7EEFrancisco 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)
5EEGeorge 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
2EEGeorge 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

Coauthor Index

1Francisco Kibedi [7]
2John Mylopoulos [1] [2]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)