Search the dblp DataBase

Publications of Author

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