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

Results 1-5 of 5 (Search time: 0.005 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Ciabattoni, Agata ; Metcalfe, George Density eliminationArtikel Article2008
2Baaz, Matthias ; Ciabattoni, Agata ; Preining, Norbert First-order satisfiability in Gödel logics: an NP-complete fragmentArtikel Article 2011
3Aschieri, Federico ; Ciabattoni, Agata ; Genco, Francesco A. On the concurrent computational content of intermediate logicsArtikel Article 2020
4Ciabattoni, Agata ; Montagna, Franco Proof theory for locally finite many-valued logics: Semi-projective logicsArtikel Article2013
5Baldi, Paolo ; Ciabattoni, Agata Uniform proofs of standard completeness for extensions of first-order MTLArtikel Article2015