default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDInformation and Computation, Volume 231
Volume 231, October 2013
Preface
- Olaf Owe
, Martin Steffen, Jan Arne Telle:
The 18th International Symposium on Fundamentals of Computation Theory. 1-2
- Andrew P. Black:
Object-oriented programming: Some history, and challenges for the next fifty years. 3-20 - Andreas Blass, Yuri Gurevich:
Abstract Hilbertian deductive systems, infon logic, and Datalog. 21-37 - José Meseguer, Grigore Rosu:
The rewriting logic semantics project: A progress report. 38-69 - Bart M. P. Jansen, Stefan Kratsch:
Data reduction for graph coloring problems. 70-88 - Stéphane Bessy, Anthony Perez:
Polynomial kernels for Proper Interval Completion and related problems. 89-108 - Pinar Heggernes, Dieter Kratsch, Daniel Lokshtanov, Venkatesh Raman, Saket Saurabh:
Fixed-parameter algorithms for Cochromatic Number and Disjoint Rectangle Stabbing via iterative localization. 109-116 - Gregory Z. Gutin, Mark Jones, Dominik Scheder, Anders Yeo:
A new bound for 3-satisfiable MaxSat and its algorithmic application. 117-124 - Stephen A. Fenner:
Functions that preserve p-randomness. 125-142 - Jos C. M. Baeten, Bas Luttik, Paul van Tilburg:
Reactive Turing machines. 143-166 - Nathaniel Charlton, Bernhard Reus:
Specification patterns for reasoning about recursion through the store. 167-203 - Sergey Goncharov, Lutz Schröder:
A coinductive calculus for asynchronous side-effecting processes. 204-232
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 2025-12-09 23:25 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:
