Goedel's Legacy Conference

Book title Buchtitel

Filter:

Author: Tompits, Hans

Results 1-2 of 2 (Search time: 0.002 seconds).

RIS EndNote Bibtex Send via email

		Preview	Author(s)	Title	Type	Issue Date
	1		Pkhakadze, Sopo ; Tompits, Hans	A Gentzen-Type Calculus for Disjunctive Default Logic.	Konferenzbeitrag Inproceedings	2019
	2		Marinkovic, Vedran ; Tompits, Hans	On Translating Multi-Modal Logics to Quantified Propositional Logic	Konferenzbeitrag Inproceedings	2019