Name Card

Full name Familienname, Vorname

Gore, Rajeev

Own Publications Eigene Publikationen

Results 1-3 of 3 (Search time: 0.001 seconds).

RIS EndNote Bibtex Excel CSV Send via email

		Preview	Author(s)	Title	Type	Issue Date
	1		Gore, Rajeev	A Formally Verified Cut-Elimination Procedure for Linear Nested Sequents for Tense Logic	Konferenzbeitrag Inproceedings	2021
	2		Gore, Rajeev ; Ramanayake, Revantha	Cut-Elimination for Provability Logic by Terminating Proof-Search: Formalised and Deconstructed Using Coq	Konferenzbeitrag Inproceedings	2021
	3		Gore, Rajeev	CEGAR-Tableaux: Improved Modal Satisfiability via Modal Clause-Learning and SAT	Konferenzbeitrag Inproceedings	2021