George Tourlakis

From MaRDI portal
Person:622626

Available identifiers

zbMath Open tourlakis.george-jMaRDI QIDQ622626

List of research outcomes





PublicationDate of PublicationType
Discrete Mathematics2023-08-28Paper
An Arithmetically Complete Predicate Modal Logic2023-05-04Paper
Computability2021-09-30Paper
A New Arithmetically Incomplete First-Order Extension of Gl All Theorems of Which Have Cut Free Proofs2017-01-27Paper
A short and readable proof of cut elimination for two first-order modal logics2016-05-31Paper
On the proof-theory of a first-order extension of GL2015-04-09Paper
A proof theoretic tool for first-order modal logic2014-04-29Paper
A new foundation of a complete Boolean equational logic2014-04-23Paper
https://portal.mardi4nfdi.de/entity/Q54115002014-04-23Paper
Theory of computation2012-04-27Paper
https://portal.mardi4nfdi.de/entity/Q51989502011-08-10Paper
On the proof-theory of two formalisations of modal first-order logic2011-02-03Paper
https://portal.mardi4nfdi.de/entity/Q35160272008-07-30Paper
A Modal Extension of Weak Generalisation Predicate Logic2007-04-19Paper
https://portal.mardi4nfdi.de/entity/Q48221472004-10-25Paper
https://portal.mardi4nfdi.de/entity/Q48123232004-09-07Paper
https://portal.mardi4nfdi.de/entity/Q44381102003-12-09Paper
https://portal.mardi4nfdi.de/entity/Q44381142003-12-09Paper
https://portal.mardi4nfdi.de/entity/Q47874412003-01-07Paper
https://portal.mardi4nfdi.de/entity/Q47874402003-01-07Paper
https://portal.mardi4nfdi.de/entity/Q43290052002-04-29Paper
On the soundness and completeness of equational predicate logics2002-01-07Paper
Recursion in Partial Type‐1 Objects With Well‐Behaved Oracles1997-05-27Paper
Some Reflections on the Foundations of Ordinary Recursion Theory and a New Proposal1986-01-01Paper
https://portal.mardi4nfdi.de/entity/Q36987861984-01-01Paper
An inductive number-theoretic characterization of NP1984-01-01Paper
ON The Parallel Simulation Of Sequential Transducers*1981-01-01Paper
Homological Methods for the Classification of Discrete Euclidean Structures1977-01-01Paper
Some Results in Computational Topology1973-01-01Paper

Research outcomes over time

This page was built for person: George Tourlakis

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:622626&oldid=7490523"
Powered by MediaWiki