✦ LIBER ✦

Verification of graph grammars using a logical approach

✍ Scribed by Simone André da Costa; Leila Ribeiro

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Formal Verification of Graph Grammars us

✍ Simone André da Costa; Leila Ribeiro 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 607 KB

Formal Specification and Verification of

✍ Leonardo Michelon; Simone André da Costa; Leila Ribeiro 📂 Article 📅 2007 🏛 SciELO 🌐 English ⚖ 306 KB

Ensuring Consistency of Conditional Grap

✍ Reiko Heckel; Annika Wagner 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 516 KB

Learnability of Type-logical Grammars

✍ Sean A. Fulop 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 274 KB

Learnability of type-logical grammars

✍ Sean A. Fulop 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 1015 KB

A graph grammar approach to geographical

✍ Andreas Meier 📂 Article 📅 1985 🏛 Elsevier Science 🌐 English ⚖ 945 KB