default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFundamenta 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
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 2026-08-07 21:55 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, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
