![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Fundamenta Informaticae, Volume 150
Volume 150, Number 1, 2017
- Laura Giordano
, Valentina Gliozzi, Alberto Pettorossi
, Gian Luca Pozzato:
Preface. v-vi
- Francesco Alberti, Silvio Ghilardi
, Natasha Sharygina
:
A Framework for the Verification of Parameterized Infinite-state Systems. 1-24 - Irene Benedetti, Stefano Bistarelli
:
From Argumentation Frameworks to Voting Systems and Back. 25-48 - Domenico Cantone, Cristiano Longo, Marianna Nicolosi Asmundo
:
Herbrand-satisfiability of a Quantified Set-theoretic Fragment. 49-71 - Emanuele De Angelis
, Fabio Fioravanti
, Alberto Pettorossi
, Maurizio Proietti:
Program Verification using Constraint Handling Rules and Array Constraint Generalizations. 73-117 - Mauro Ferrari
, Camillo Fiorentini
, Guido Fiorino:
JTabWb: a Java Framework for Implementing Terminating Sequent and Tableau Calculi. 119-142
Volume 150, Number 2, 2017
- Symeon Bozapalidis, George Rahonis
:
Stochastic Semantics. 143-177 - Ke Gu
, Weijia Jia
, Jianming Zhang
:
Identity-Based Multi-Proxy Signature Scheme in the Standard Model. 179-210 - Nopadon Juneam, Sanpawat Kantabutra
:
Fast and Efficient Parallel Coarsest Refinement. 211-220 - Andrzej W. Przybyszewski
, Lech T. Polkowski
:
Theory of Mind and Empathy. Part I - Model of Social Emotional Thinking. 221-230 - Yang Yu, Tingfang Wu, Jinbang Xu, Yanfeng Wang, Juanjuan He:
A Note on Spiking Neural P Systems with Homogenous Neurons and Synapses. 231-240
Volume 150, Numbers 3-4, 2017
- David Baelde, Arnaud Carayol, Ralph Matthes
, Igor Walukiewicz:
Preface. i-ii
- Niels Bjørn Bugge Grathwohl, Fritz Henglein, Dexter Kozen:
Infinitary Axiomatization of the Equational Theory of Context-Free Languages. 241-257 - Stefano Berardi, Ugo de'Liguoro:
Non-monotonic Pre-fix Points and Learning. 259-280 - Anuj Dawar
, Bjarki Holm:
Pebble Games with Algebraic Rules. 281-316 - Matteo Mio
, Alex Simpson:
Łukasiewicz μ-calculus. 317-346 - Jean-Baptiste Jeannin, Dexter Kozen, Alexandra Silva:
CoCaml: Functional Programming with Regular Coinductive Types. 347-377 - Corina Cîrstea
:
From Branching to Linear Time, Coalgebraically. 379-406 - Stefan Milius, Tadeusz Litak
:
Guard Your Daggers and Traces: Properties of Guarded (Co-)recursion. 407-449
![](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.