Abstract Hilbertian deductive systems, infon logic, and Datalog (English)
- New search for: Blass, Andreas
- New search for: Gurevich, Yuri
- New search for: Blass, Andreas
- New search for: Gurevich, Yuri
In:
Information and Computation
;
231
;
21-37
;
2013
-
ISSN:
- Article (Journal) / Electronic Resource
-
Title:Abstract Hilbertian deductive systems, infon logic, and Datalog
-
Contributors:Blass, Andreas ( author ) / Gurevich, Yuri ( author )
-
Published in:Information and Computation ; 231 ; 21-37
-
Publisher:
- New search for: Elsevier Inc.
-
Publication date:2013-01-01
-
Size:17 pages
-
ISSN:
-
DOI:
-
Type of media:Article (Journal)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
Table of contents – Volume 231
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
The 18th International Symposium on Fundamentals of Computation TheoryOwe, Olaf / Steffen, Martin / Telle, Jan Arne et al. | 2013
- 3
-
Object-oriented programming: Some history, and challenges for the next fifty yearsBlack, Andrew P. et al. | 2013
- 21
-
Abstract Hilbertian deductive systems, infon logic, and DatalogBlass, Andreas / Gurevich, Yuri et al. | 2013
- 38
-
The rewriting logic semantics project: A progress reportMeseguer, José / Roşu, Grigore et al. | 2013
- 70
-
Data reduction for graph coloring problemsJansen, Bart M.P. / Kratsch, Stefan et al. | 2013
- 89
-
Polynomial kernels for Proper Interval Completion and related problemsBessy, Stéphane / Perez, Anthony et al. | 2013
- 109
-
Fixed-parameter algorithms for Cochromatic Number and Disjoint Rectangle Stabbing via iterative localizationHeggernes, Pinar / Kratsch, Dieter / Lokshtanov, Daniel / Raman, Venkatesh / Saurabh, Saket et al. | 2013
- 117
-
A new bound for 3-satisfiable MaxSat and its algorithmic applicationGutin, Gregory / Jones, Mark / Scheder, Dominik / Yeo, Anders et al. | 2013
- 125
-
Functions that preserve p-randomnessFenner, Stephen A. et al. | 2013
- 143
-
Reactive Turing machinesBaeten, Jos C.M. / Luttik, Bas / van Tilburg, Paul et al. | 2013
- 167
-
Specification patterns for reasoning about recursion through the storeCharlton, Nathaniel / Reus, Bernhard et al. | 2013
- 204
-
A coinductive calculus for asynchronous side-effecting processesGoncharov, Sergey / Schröder, Lutz et al. | 2013
- i
-
Editorial Board| 2013