Theoretical Computer Science

View Statistics Email Alert RSS Feed

Journal description

Title Titel
Theoretical Computer Science
 
e-ISSN
1879-2294
 
ISSN
0304-3975
 
Publisher Herausgeber
ELSEVIER
 
Publisher's Address Herausgeber Adresse
RADARWEG 29, AMSTERDAM, Netherlands, 1043 NX
 
Listed in SCI Aufgelistet im SCI
 
Peer reviewed Begutachtet
 
 

Publications Publikationen

Filter:
Author:  Ciabattoni, Agata
Date Issued:  [2010 TO 2019]

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

PreviewAuthor(s)TitleTypeIssue Date
1Baaz, Matthias ; Ciabattoni, Agata ; Preining, Norbert First-order satisfiability in Gödel logics: an NP-complete fragmentArtikel Article 2011
2Ciabattoni, Agata ; Montagna, Franco Proof theory for locally finite many-valued logics: Semi-projective logicsArtikel Article2013
3Baldi, Paolo ; Ciabattoni, Agata Uniform proofs of standard completeness for extensions of first-order MTLArtikel Article2015