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=207
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
A Rice-style theorem for parallel automata
Tirza Hirst
Information and Computation
207
(1), 2009, pp. 1-13
Synthesising CCS bisimulation using graph rewriting
Filippo Bonchi
,
Fabio Gadducci
,
Barbara König
Information and Computation
207
(1), 2009, pp. 14-40
Light types for polynomial time computation in lambda calculus
Patrick Baillot
,
Kazushige Terui
Information and Computation
207
(1), 2009, pp. 41-62
Toward the interpretation of non-constructive reasoning as non-monotonic learning
Stefano Berardi
,
Ugo de'Liguoro
Information and Computation
207
(1), 2009, pp. 63-81
Semantics and expressiveness of ordered SOS
MohammadReza Mousavi
,
Iain Phillips
,
Michel A. Reniers
,
Irek Ulidowski
Information and Computation
207
(2), 2009, pp. 85-119
Generating priority rewrite systems for OSOS process languages
Irek Ulidowski
,
Shoji Yuen
Information and Computation
207
(2), 2009, pp. 120-145
(Bi)simulations up-to characterise process semantics
David de Frutos Escrig
,
Carlos Gregorio Rodríguez
Information and Computation
207
(2), 2009, pp. 146-170
Mobility control via passports
Samuel Hym
Information and Computation
207
(2), 2009, pp. 171-193
An observational theory for Mobile Ad Hoc Networks (full version)
Massimo Merro
Information and Computation
207
(2), 2009, pp. 194-208
A congruence rule format for name-passing process calculi
Marcelo Fiore
,
Sam Staton
Information and Computation
207
(2), 2009, pp. 209-236
Bialgebraic methods and modal logic in structural operational semantics
Bartek Klin
Information and Computation
207
(2), 2009, pp. 237-257
Bi-inductive structural semantics
Patrick Cousot
,
Radhia Cousot
Information and Computation
207
(2), 2009, pp. 258-283
Coinductive big-step operational semantics
Xavier Leroy
,
Hervé Grall
Information and Computation
207
(2), 2009, pp. 284-304
A rewriting logic approach to operational semantics
Traian Florin Şerbănuţă
,
Grigore Roşu
,
José Meseguer
Information and Computation
207
(2), 2009, pp. 305-340
A family of syntactic logical relations for the semantics of Haskell-like languages
Patricia Johann
,
Janis Voigtländer
Information and Computation
207
(2), 2009, pp. 341-368
Existentially restricted quantified constraint satisfaction
Hubie Chen
Information and Computation
207
(3), 2009, pp. 369-388
On an algorithm determining direct superclasses in Java and similar languages with inner classes - Its correctness, completeness and uniqueness of solutions
Hans Langmaack
,
Andrzej Salwicki
,
Marek Warpechowski
Information and Computation
207
(3), 2009, pp. 389-410
Operational domain theory and topology of sequential programming languages
Martín Escardó
,
Weng Kin Ho
Information and Computation
207
(3), 2009, pp. 411-437
Revisiting constraint-directed search
Magnus Ågren
,
Pierre Flener
,
Justin Pearson
Information and Computation
207
(3), 2009, pp. 438-457
Asynchronous sequential processes
Denis Caromel
,
Ludovic Henrio
,
Bernard Paul Serpette
Information and Computation
207
(4), 2009, pp. 459-495
Computationally sound implementations of equational theories against passive adversaries
Mathieu Baudet
,
Véronique Cortier
,
Steve Kremer
Information and Computation
207
(4), 2009, pp. 496-520
Algorithms for learning regular expressions from positive data
Henning Fernau
Information and Computation
207
(4), 2009, pp. 521-541
From exact sciences to life phenomena: Following Schrödinger and Turing on programs, life and causality
Giuseppe Longo
Information and Computation
207
(5), 2009, pp. 545-558
Applications of infinitary lambda calculus
Henk Barendregt
,
Jan Willem Klop
Information and Computation
207
(5), 2009, pp. 559-582
On the completeness of order-theoretic models of the
\lambda
-calculus
Furio Honsell
,
Gordon Plotkin
Information and Computation
207
(5), 2009, pp. 583-594
Seiten 1
2
3
>