×

Found 51 Documents (Results 1–51)

Introduction to computation. Haskell, logic and automata. (English) Zbl 1497.68005

Undergraduate Topics in Computer Science. Cham: Springer (ISBN 978-3-030-76907-9/pbk; 978-3-030-76908-6/ebook). xvi, 366 p. (2021).
PDFBibTeX XMLCite
Full Text: DOI

A functional, successor list based version of Warshall’s algorithm with applications. (English) Zbl 1329.68303

de Swart, Harrie (ed.), Relational and algebraic methods in computer science. 12th international conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21069-3/pbk). Lecture Notes in Computer Science 6663, 109-124 (2011).
MSC:  68W30 03G15 68N18
PDFBibTeX XMLCite
Full Text: DOI

A simple theory of expressions, judgments and derivations. (English) Zbl 1115.68515

Maher, Michael J. (ed.), Advances in computer science – ASIAN 2004. Higher-level decision making. 9th Asian computing science conference. Dedicated to Jean-Louis Lassez on the occasion of his 5th cycle birthday, Chiang Mai, Thailand, December 8–10, 2004. Proceedings. Berlin: Springer (ISBN 3-540-24087-X/pbk). Lecture Notes in Computer Science 3321, 437-451 (2004).
MSC:  68T27 03B30 03B40 68T15 68W30
PDFBibTeX XMLCite
Full Text: DOI

Checking strong/weak bisimulation equivalences and observation congruence for the \(\pi\)-calculus. (Extended abstract). (English) Zbl 0913.03037

Larsen, Kim G. (ed.) et al., Automata, languages and programming. 25th international colloquium, ICALP ’98. Aalborg, Denmark, July 13–17, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1443, 707-718 (1998).
MSC:  03B70 68Q60
PDFBibTeX XMLCite

The combinatory programme. Erwin Engeler in collaboration with K. Aberer, B. Amrhein, O. Gloor, M. von Mohrenschildt, D. Otth, G. Schwärzler, and T. Weibel. (English) Zbl 0827.03004

Progress in Theoretical Computer Science. Basel: Birkhäuser. 142 p. (1995).
PDFBibTeX XMLCite

Another bracket abstraction algorithm. (English) Zbl 0837.68013

Jaćimović, M. (ed.), VIII conference on applied mathematics, Tivat, Yugoslavia, May 27-29, 1993. Podgorica: University of Montenegro, Dept. of Mathematics, 23-28 (1994).
PDFBibTeX XMLCite

Extracting programs from proofs by an extension of the Curry-Howard process. (English) Zbl 0821.03017

Crossley, John N. (ed.) et al., Logical methods. In honor of Anil Nerode’s 60th birthday. Basel: Birkhäuser. Prog. Comput. Sci. Appl. Log. 12, 222-288 (1993).
Reviewer: N.Curteanu (Iaşi)
MSC:  03B70 68W30 03B35 68Q60 12Y05
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

all top 3

Software