𝔖 Bobbio Scriptorium

✦ LIBER ✦

On “on graph rewritings”: theoretical computer science 52 (1987) 37–58

✍ Scribed by Richard Kennaway

Publisher: Elsevier Science
Year: 1988
Tongue: English
Weight: 337 KB
Volume: 61
Category: Article
ISSN: 0304-3975
DOI: 10.1016/0304-3975(88)90132-6

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Contents and abstracts of the electronic

Contents and abstracts of the electronic notes in Theoretical Computer Science vol. 2: Proceedings joint COMPUGRAPH/SEMAGRAPH workshop on graph rewriting and computation (SEGRAGRA '95), Volterra, Pisa, Italy, 28 August–1 September 1995

✍ Andrea Corradini; Ugo Montanari 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 762 KB

Some theoretical approaches about reinfo

Some theoretical approaches about reinforced embarkments on weak soil : Monnet, J; Galera, I; Mommessin, M Comput GeotechV7, N1/2, 1989, P37–52

📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 103 KB 👁 2 views

Contents and abstracts of the electronic

Contents and abstracts of the electronic notes in theoretical computer science vol. 4: Proceedings First International Workshop on Rewriting Logic and its Applications, Asilomar Conference Center, Pacific Grove, CA, September 3–6, 1996

✍ José Meseguer 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 505 KB

Temporal logic of programs: By Fred Krog

Temporal logic of programs: By Fred Kroger. EATCS Monographs on Theoretical Computer Science, Springer, Berlin, 1987, viii+148 pages, Price DM 68.00, (hard cover). ISBN 3-540-17030-8

✍ Michael Fisher 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 167 KB