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
[2]
Hilfe
Suche: Journal=Acta Inf. AND Volume=33
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
The linear landscape of external contextual languages
Andrzej Ehrenfeucht
,
Gheorghe Păn
,
Grzegorz Rozenberg
Acta Informatica
33
(6), 1996, pp. 571-593
Relating confluence, innermost-confluence and outermost-confluence properties of term rewriting systems
M.R.K. Krishna Rao
Acta Informatica
33
(6), 1996, pp. 595-606
Parallel integer sorting and simulation amongst CRCW models
Sanjeev Saxena
Acta Informatica
33
(7), 1996, pp. 607-619
Trial and error - A new approach to space-bounded learning
Foued Ameur
,
Paul Fischer
,
Klaus-U. Höffgen
,
Friedhelm Meyer auf der Heide
Acta Informatica
33
(7), 1996, pp. 621-630
An observation on suffix redundancy in LL(1) error repair
Eberhard Bertsch
Acta Informatica
33
(7), 1996, pp. 631-639
Axiomatizing the algebra of net computations and processes
Pierpaolo Degano
,
José Meseguer
,
Ugo Montanari
Acta Informatica
33
(7), 1996, pp. 641-667
On the analysis of Petri nets with static priorities
Falko Bause
Acta Informatica
33
(7), 1996, pp. 669-685
Reduction rules for time Petri nets
Robert H. Sloan
,
Ugo Buy
Acta Informatica
33
(7), 1996, pp. 687-706
Calculi for interaction
Robin Milner
Acta Informatica
33
(8), 1996, pp. 707-737
On the sequential nature of interprocedural program-analysis problems
Thomas Reps
Acta Informatica
33
(8), 1996, pp. 739-757
RETRPROV - A system that looks for axioms
Andrzej Biela
,
Jakub Borowczyk
Acta Informatica
33
(8), 1996, pp. 759-780
A direct complement construction for LR(1) grammars
Stephan Heilbrunner
Acta Informatica
33
(8), 1996, pp. 781-797
Seiten
<
1
2