Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Journal=Inf.~Comput. AND Volume=231
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Object-oriented programming: Some history, and challenges for the next fifty years
Andrew P. Black
Information and Computation
231
, 2013, pp. 3-20
Abstract Hilbertian deductive systems, infon logic, and Datalog
Andreas Blass
,
Yuri Gurevich
Information and Computation
231
, 2013, pp. 21-37
The rewriting logic semantics project: A progress report
José Meseguer
,
Grigore Roşu
Information and Computation
231
, 2013, pp. 38-69
Data reduction for graph coloring problems
Bart M.P. Jansen
,
Stefan Kratsch
Information and Computation
231
, 2013, pp. 70-88
Polynomial kernels for
Proper Interval Completion
and related problems
Stéphane Bessy
,
Anthony Perez
Information and Computation
231
, 2013, pp. 89-108
Fixed-parameter algorithms for
Cochromatic Number
and
Disjoint Rectangle Stabbing
via iterative localization
Pinar Heggernes
,
Dieter Kratsch
,
Daniel Lokshtanov
,
Venkatesh Raman
,
Saket Saurabh
Information and Computation
231
, 2013, pp. 109-116
A new bound for 3-satisfiable MaxSat and its algorithmic application
Gregory Gutin
,
Mark Jones
,
Dominik Scheder
,
Anders Yeo
Information and Computation
231
, 2013, pp. 117-124
Functions that preserve p-randomness
Stephen A. Fenner
Information and Computation
231
, 2013, pp. 125-142
Reactive Turing machines
Jos C.M. Baeten
,
Bas Luttik
,
Paul van Tilburg
Information and Computation
231
, 2013, pp. 143-166
Specification patterns for reasoning about recursion through the store
Nathaniel Charlton
,
Bernhard Reus
Information and Computation
231
, 2013, pp. 167-203
A coinductive calculus for asynchronous side-effecting processes
Sergey Goncharov
,
Lutz Schröder
Information and Computation
231
, 2013, pp. 204-232