Information and Computation

View Statistics Email Alert RSS Feed

Journal description

Title Titel
Information and Computation
 
e-ISSN
1090-2651
 
ISSN
0890-5401
 
Publisher Herausgeber
ACADEMIC PRESS INC ELSEVIER SCIENCE
 
Publisher's Address Herausgeber Adresse
525 B ST, STE 1900, SAN DIEGO, USA, CA, 92101-4495
 
Listed in SCI Aufgelistet im SCI
 
Peer reviewed Begutachtet
 
 

Publications Publikationen

Filter:
Subject:  Theoretical Computer Science

Results 1-9 of 9 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Calvanese, Diego ; Eiter, Thomas ; Ortiz, Magdalena Answering Regular Path Queries in Expressive Description Logics via Alternating Tree-AutomataArtikel Article2014
2Bova, Simone ; Chen, Hubie ; Valeriote, Matthew Generic Expression Hardness Results for Primitive Positive Formula ComparisonArtikel Article2013
3Bartocci, Ezio ; Bortolussi, Luca ; Smolka, Scott A. Hybrid Systems and BiologyArtikel Article2014
4Bazhenov, Nikolay ; Fokina, Ekaterina ; San Mauro, Luca Learning families of algebraic structures from informantArtikel Article 2020
5Konnov, Igor ; Veith, Helmut ; Widder, Josef On the completeness of bounded model checking for threshold-based distributed algorithms: ReachabilityArtikel Article 2017
6Fellows, Michael R. ; Fomin, Fedor V. ; Lokshtanov, Daniel ; Rosamond, Frances ; Saurabh, Saket ; Szeider, Stefan ; Thomassen, Carsten On the Complexity of Some Colorful Problems Parameterized by TreewidthArtikel Article2011
7Eberhard, Sebastian ; Hetzl, Stefan On the Compressibility of Finite Languages and Formal ProofsArtikel Article 2018
8Blieberger, Johann Real-Time Properties of Indirect Recursive ProceduresArtikel Article2001
9Powell, Thomas ; Schuster, Peter ; Wiesnet, Franziskus A universal algorithm for Krull's theoremArtikel Article 2021