| no |
title |
author |
magazine |
year |
volume |
issue |
page(s) |
type |
| 1 |
Abstract Hilbertian deductive systems, infon logic, and Datalog
|
Blass, Andreas
|
|
2013
|
231 |
C |
p. 21-37
17 p.
|
article
|
| 2 |
A coinductive calculus for asynchronous side-effecting processes
|
Goncharov, Sergey
|
|
2013
|
231 |
C |
p. 204-232
29 p.
|
article
|
| 3 |
A new bound for 3-satisfiable MaxSat and its algorithmic application
|
Gutin, Gregory
|
|
2013
|
231 |
C |
p. 117-124
8 p.
|
article
|
| 4 |
Data reduction for graph coloring problems
|
Jansen, Bart M.P.
|
|
2013
|
231 |
C |
p. 70-88
19 p.
|
article
|
| 5 |
Editorial Board
|
|
|
2013
|
231 |
C |
p. i-
1 p.
|
article
|
| 6 |
Editorial Board
|
|
|
2013
|
231 |
C |
p. IFC-
1 p.
|
article
|
| 7 |
Fixed-parameter algorithms for Cochromatic Number and Disjoint Rectangle Stabbing via iterative localization
|
Heggernes, Pinar
|
|
2013
|
231 |
C |
p. 109-116
8 p.
|
article
|
| 8 |
Functions that preserve p-randomness
|
Fenner, Stephen A.
|
|
2013
|
231 |
C |
p. 125-142
18 p.
|
article
|
| 9 |
Object-oriented programming: Some history, and challenges for the next fifty years
|
Black, Andrew P.
|
|
2013
|
231 |
C |
p. 3-20
18 p.
|
article
|
| 10 |
Polynomial kernels for Proper Interval Completion and related problems
|
Bessy, Stéphane
|
|
2013
|
231 |
C |
p. 89-108
20 p.
|
article
|
| 11 |
Reactive Turing machines
|
Baeten, Jos C.M.
|
|
2013
|
231 |
C |
p. 143-166
24 p.
|
article
|
| 12 |
Specification patterns for reasoning about recursion through the store
|
Charlton, Nathaniel
|
|
2013
|
231 |
C |
p. 167-203
37 p.
|
article
|
| 13 |
The rewriting logic semantics project: A progress report
|
Meseguer, José
|
|
2013
|
231 |
C |
p. 38-69
32 p.
|
article
|
| 14 |
The 18th International Symposium on Fundamentals of Computation Theory
|
Owe, Olaf
|
|
2013
|
231 |
C |
p. 1-2
2 p.
|
article
|
Journal description