Found 20 Documents (Results 1–20)
Extending propositional separation logic for robustness properties. (English) Zbl 1528.03151
Ganguly, Sumit (ed.) et al., 38th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2018, Ahmedabad, India, December 11–13, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 122, Article 42, 23 p. (2018).
All-pairs 2-reachability in \(\mathcal{O}(n^\omega\log n)\) time. (English) Zbl 1441.68183
Chatzigiannakis, Ioannis (ed.) et al., 44th international colloquium on automata, languages, and programming, ICALP 2017, Warsaw, Poland July 10–14, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 80, Article 74, 14 p. (2017).
Log-space algorithms for paths and matchings in \(k\)-trees. (English) Zbl 1230.68087
Marion, Jean-Yves (ed.) et al., STACS 2010. 27th international symposium on theoretical aspects of computer science, Nancy, France, March 4–6, 2010. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-16-3). LIPIcs – Leibniz International Proceedings in Informatics 5, 215-226, electronic only (2010).
A note on disjoint arborescences. (English) Zbl 1224.05406
Reviewer: Hang Lau (Montreal)
Transition graphs of rewriting systems over unranked trees. (English) Zbl 1147.68546
Kučera, Luděk (ed.) et al., Mathematical foundations of computer science 2007. 32nd international symposium, MFCS 2007, Český Krumlov, Czech Republic, August 26–31, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-74455-9/pbk). Lecture Notes in Computer Science 4708, 67-77 (2007).
Reverse mathematics of some topics from algorithmic graph theory. (English) Zbl 0908.03054
Reviewer: A.Cantini (Firenze)
A survey on high-level Petri-net theory. (English) Zbl 0856.68109
MSC:
68Q85
Connectivity and network flows. (English) Zbl 0846.05055
Graham, R. L. (ed.) et al., Handbook of combinatorics. Vol. 1-2. Amsterdam: Elsevier (North-Holland). 111-177 (1995).
Reviewer: A.Huck (Hannover)
An inexact reasoning algorithm based on fuzzy rule matrix transformations. (English) Zbl 0772.68080
MSC:
68T15
03B52
High-level Petri nets. Theory and application. (English) Zbl 0743.68023
Berlin etc.: Springer-Verlag. IX, 724 p. (1991).
Reviewer: N.Herold
Coloured Petri nets. (English) Zbl 0632.68058
Petri nets: central models and their properties, Proc. Adv. Course, Bad Honnef/FRG 1986, Lect. Notes Comput. Sci. 254, 248-299 (1987).
Reviewer: H.Müller
MSC:
68Q85
Reachability trees for high-level Petri nets. (English) Zbl 0625.68042
MSC:
68Q85
Two pumping lemmata for Petri nets. (English) Zbl 0494.68065
MSC:
68Q85
A basis for theoretical computer science. (English) Zbl 0471.68002
The AKM Series in Theoretical Computer Science. Texts and Monographs in Computer Science. New York - Heidelberg - Berlin: Springer-Verlag. VIII, 220 p., 49 figs. DM 42.50; $ 19.80 (1981).
Filter Results by …
Document Type
- Journal Articles (12)
- Collection Articles (6)
- Books (2)
all
top 5
Author
- Jensen, Kurt (3)
- Das, Bireswar (2)
- Datta, Samir (2)
- Nimbhorkar, Prajakta (2)
- Arbib, Michael A. (1)
- Burkhard, Hans-Dieter (1)
- Cameron, Helen (1)
- Chen, Shyiming (1)
- Clote, Peter G. (1)
- Cortés, Jorge (1)
- Deb, Biswajit (1)
- Frank, András (1)
- Fujishige, Satoru (1)
- Georgiadis, Loukas (1)
- Gonzalez, Teofilo F. (1)
- Graf, Daniel (1)
- Hirst, Jeffry Lynn (1)
- Huber, Peter Jost (1)
- Italiano, Giuseppe Francesco (1)
- Jensen, Arne M. (1)
- Jepsen, Leif O. (1)
- Kapoor, Kalpesh (1)
- Kfoury, Assaf J. (1)
- Löding, Christof (1)
- Mansutti, Alessio (1)
- Mantler, Andrea (1)
- Moll, Robert N. (1)
- Ntafos, Simeon C. (1)
- Parotsidis, Nikos (1)
- Pati, Sukanta (1)
- Rozenberg, Grzegorz (1)
- Schuresko, Michael (1)
- Smith, Einar (1)
- Spelten, Alex (1)
- Uznański, Przemysław (1)
- Wu, Yaokun (1)
- Xiang, Ziqing (1)
all
top 5
Serial
- Fundam. Math. (1)
- J. Comput. Syst. Sci. (1)
- Math. Stud. (1)
- SIAM J. Control Optim. (1)
- Theor. Comput. Sci. (1)
- Combinatorica (1)
- J. Autom. Reasoning (1)
- Bull. EATCS (1)
- Int. J. Found. Comput. Sci. (1)
- Elektron. Informationsverarbeitung Kybernetik (1)
- Theory Comput. Syst. (1)
- Discrete Math. Algorithms Appl. (1)