![](https://dblp.uni-trier.de/img/logo.320x120.png)
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://fanyv88.com/img/search.dark.16x16.png)
default search action
Fundamenta 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
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.