Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAnnals of Mathematics and Artificial Intelligence, Volume 71
Volume 71, Numbers 1-3, July 2014
- Ben C. Moszkowski, Dimitar P. Guelev, Martin Leucker
:
Guest editors' preface to special issue on interval temporal logics. 1-9 - Davide Bresolin, Dario Della Monica, Angelo Montanari, Guido Sciavicco:
The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT. 11-39 - Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco:
The dark side of interval temporal logic: marking the undecidability border. 41-83 - Carlo Combi, Pietro Sala:
Interval-based temporal functional dependencies: specification and verification. 85-130 - Gerhard Schellhorn, Bogdan Tofan, Gidon Ernst, Jörg Pfähler, Wolfgang Reif:
RGITL: A temporal logic framework for compositional reasoning about interleaved programs. 131-174 - Ben C. Moszkowski:
Compositional reasoning using intervals and time reversal. 175-250 - Michael R. Hansen, Anh-Dung Phan, Aske Wiid Brekling:
A practical approach to model checking Duration Calculus using Presburger Arithmetic. 251-278
Volume 71, Number 4, August 2014
- Robert H. Sloan:
Preface to the special issue. 279-281 - Hans Ulrich Simon:
PAC-learning in the presence of one-sided classification noise. 283-300 - Pavlos Eirinakis, Salvatore Ruggieri, K. Subramani, Piotr Wojciechowski:
On quantified linear implications. 301-325 - Endre Boros, Aritanan Gruber:
Hardness results for approximate pure Horn CNF formulae minimization. 327-363 - Yishay Mansour, Mariano Schain:
Robust domain adaptation. 365-380
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-19 19:20 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
