![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Theoretical Computer Science, Volume 474
Volume 474, February 2013
- Béatrice Bérard, Franck Cassez
, Serge Haddad, Didier Lime
, Olivier H. Roux:
The expressive power of time Petri nets. 1-20 - Pablo Barceló, Juan L. Reutter
, Leonid Libkin
:
Parameterized regular expressions and their languages. 21-45 - Daniel Gâinâ
:
Interpolation in logics with constructors. 46-59 - Samir Genaim
, Damiano Zanardini
:
Reachability-based acyclicity analysis by Abstract Interpretation. 60-79 - Pierre Lescanne:
On counting untyped lambda terms. 80-97 - Dale Miller
, Elaine Pimentel
:
A formal framework for specifying sequent calculus proof systems. 98-116
![](https://dblp.dagstuhl.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.