default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFundamenta Informaticae, Volume 140
Volume 140, Number 1, 2015
- Paolo Baldan, Alberto Carraro
:
A Causal View on Non-Interference. 1-38 - Eike Best, Raymond R. Devillers:
Synthesis of Live and Bounded Persistent Systems. 39-59 - Florent Avellaneda, Rémi Morin:
Catching a Structural Bug with a Flower. 61-87 - José Antonio Mateo, Jirí Srba, Mathias Grund Sørensen:
Soundness of Timed-Arc Workflow Nets in Discrete and Continuous-Time Semantics. 89-121
Volume 140, Number 2, 2015
- Wojciech Czerwinski, Tomasz Gogacz, Eryk Kopczynski:
Non-dominating Sequences of Vectors Using only Resets and Increments. 123-127 - Iwona Ryszka, Anna Paszynska, Ewa Grabska, Marcin Sieniek, Maciej Paszynski:
Graph Transformation Systems for Modeling Three Dimensional Finite Element Method. Part I. 129-172 - Iwona Ryszka, Anna Paszynska, Ewa Grabska, Marcin Sieniek, Maciej Paszynski:
Graph Transformation Systems for Modeling Three Dimensional Finite Element Method. Part II. 173-203 - Javad Akbari Torkestani:
Stochastic Bounded Diameter Minimum Spanning Tree Problem. 205-219
Volume 140, Numbers 3-4, 2015
- Davide Ancona, Agostino Dovier:
A Theoretical Perspective of Coinductive Logic Programming. 221-246 - Alessandro Avellone, Camillo Fiorentini, Alberto Momigliano:
A Semantical Analysis of Focusing and Contraction in Intuitionistic Logic. 247-262 - Stefano Bistarelli, Fabio Rossi, Francesco Santini:
A Comparative Test on the Enumeration of Extensions in Abstract Argumentation. 263-278 - Stefania Costantini, Andrea Formisano:
Negation as a Resource: a Novel View on Answer Set Semantics. 279-305 - Giovanna D'Agostino, Eugenio G. Omodeo, Alberto Policriti, Alexandru I. Tomescu:
Mapping Sets and Hypersets into Numbers. 307-328 - Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
A Rule-based Verification Strategy for Array Manipulating Programs. 329-355 - Paolo Gentilini, Maurizio Martelli, Giuseppe Rosolini:
Explicit Constructive Logic ECL: a New Representation of Construction and Selection of Logical Information by an Epistemic Agent. 357-372 - Francesca A. Lisi, Umberto Straccia:
Learning in Description Logics with Fuzzy Concrete Domains. 373-391 - Gianfranco Rossi, Federico Bergenti:
Nondeterministic Programming in Java with JSetL. 393-412
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-12-18 18:27 CET 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:
