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
[1]
Hilfe
Suche: Author="Borzyszkowski, Andrzej M."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Computing majority via multiple queries
Andrzej M. Borzyszkowski
Theoretical Computer Science
539
, 2014, pp. 106-111
Transition systems without transitions
Andrzej M. Borzyszkowski
,
Philippe Darondeau
Theoretical Computer Science
338
(1-3), 2005, pp. 1-16
General morphisms of Petri nets
Marek A. Bednarczyk
,
Andrzej M. Borzyszkowski
Lecture Notes in Computer Science
1644
, 1999, pp. 190-199
On the tree inclusion problem
Laurent Alonso
,
René Schott
Proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science 1993. MFCS'93(Gdańsk, Poland, August/September 1993)
LNCS 711
, 1993, pp. 211-221
On the adequacy of per models
Roberto M. Amadio
Proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science 1993. MFCS'93(Gdańsk, Poland, August/September 1993)
LNCS 711
, 1993, pp. 222-231
On the unification free Prolog programs
Krzysztof R. Apt
,
Sandro Etalle
Proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science 1993. MFCS'93(Gdańsk, Poland, August/September 1993)
LNCS 711
, 1993, pp. 1-19
Equivalences and preorders of transition systems
A. Arnold
,
A. Dicky
Proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science 1993. MFCS'93(Gdańsk, Poland, August/September 1993)
LNCS 711
, 1993, pp. 20-31
Hausdorff reductions to sparse sets and to sets of high information content
V. Arvind
,
J. Köbler
,
M. Mundhenk
Proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science 1993. MFCS'93(Gdańsk, Poland, August/September 1993)
LNCS 711
, 1993, pp. 232-241
Stores as homomorphisms and their transformations
Egidio Astesiano
,
Fianna Reggio
,
Elena Zucca
Proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science 1993. MFCS'93(Gdańsk, Poland, August/September 1993)
LNCS 711
, 1993, pp. 242-251
Rabin tree automata and finite monoids
Danièle Beauquier
,
Andreas Podelski
Lecture Notes in Computer Science
711
, 1993, pp. 262-271
Rabin tree automata and finite monoids
Danièle Beauquier
,
Andreas Podelski
Proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science 1993. MFCS'93(Gdańsk, Poland, August/September 1993)
LNCS 711
, 1993, pp. 262-271
Efficient type reconstruction in the presence of inheritance
Marcin Benke
Proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science 1993. MFCS'93(Gdańsk, Poland, August/September 1993)
LNCS 711
, 1993, pp. 272-280
A characterization of Sturmian morphisms
Jean Berstel
,
Patrice Séébold
Proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science 1993. MFCS'93(Gdańsk, Poland, August/September 1993)
LNCS 711
, 1993, pp. 281-290
On the complexity of scheduling incompatible jobs with unit-times
Hans L. Bodlaender
,
Klaus Jansen
Proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science 1993. MFCS'93(Gdańsk, Poland, August/September 1993)
LNCS 711
, 1993, pp. 291-300
Isomorphisms between predicate and state transformers
Marcello Bonsangue
,
Joost N. Kok
Proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science 1993. MFCS'93(Gdańsk, Poland, August/September 1993)
LNCS 711
, 1993, pp. 301-310
On the amount of nondeterminism and the power of verifying
Liming Cai
,
Jianer Chen
Proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science 1993. MFCS'93(Gdańsk, Poland, August/September 1993)
LNCS 711
, 1993, pp. 311-320
Oberserving distribution in processes
Ilaria Castellani
Proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science 1993. MFCS'93(Gdańsk, Poland, August/September 1993)
LNCS 711
, 1993, pp. 321-331
Speedup of recognizable trace languages
Christophe Cérin
,
Antoine Petit
Proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science 1993. MFCS'93(Gdańsk, Poland, August/September 1993)
LNCS 711
, 1993, pp. 332-341
May I borrow your logic?
Maura Cerioli
,
José Meseguer
Proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science 1993. MFCS'93(Gdańsk, Poland, August/September 1993)
LNCS 711
, 1993, pp. 342-351
Approximate and exact deterministic parallel selection
Shiva Chaudhuri
,
Torben Hagerup
,
Rajeev Raman
Proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science 1993. MFCS'93(Gdańsk, Poland, August/September 1993)
LNCS 711
, 1993, pp. 352-361
Defining soft sortedness by abstract interpretation
Jian Chen
,
John Staples
Proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science 1993. MFCS'93(Gdańsk, Poland, August/September 1993)
LNCS 711
, 1993, pp. 362-371
A model for real-time process algebras
Liang Chen
Proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science 1993. MFCS'93(Gdańsk, Poland, August/September 1993)
LNCS 711
, 1993, pp. 372-381
Data encapsulation and modularity: Three views of inheritance
J.F. Costa
,
A. Sernadas
,
C. Sernadas
Proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science 1993. MFCS'93(Gdańsk, Poland, August/September 1993)
LNCS 711
, 1993, pp. 382-391
Image compression using weighted finite automata
Karel Culik II
,
Jarkko Kari
Proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science 1993. MFCS'93(Gdańsk, Poland, August/September 1993)
LNCS 711
, 1993, pp. 392-402
Filter models for a parallel and non deterministic
\lambda
-calculus
Mariangiola Dezani-Ciancaglini
,
Ugo de'Liguoro
,
Adolfo Piperno
Proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science 1993. MFCS'93(Gdańsk, Poland, August/September 1993)
LNCS 711
, 1993, pp. 403-412
Seiten 1
2
3
>