✦ LIBER ✦

Monads for the formalization of a pattern matching procedure

✍ Scribed by Zhozhikashvili, A. V.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Pattern-Matching Procedure for Automatic

✍ Pruzansky, Sandra 📂 Article 📅 1963 🏛 American Institute of Physics 🌐 English ⚖ 646 KB

A description logics formalization for t

✍ Manel Kolli; Zizette Boufaida 📂 Article 📅 2011 🏛 Elsevier 🌐 English ⚖ 212 KB

Formal derivation of a pattern matching

✍ R.S. Bird; J. Gibbons; G. Jones 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 632 KB

A two-layer fuzzy pattern matching proce

✍ Henri Prade 📂 Article 📅 1990 🏛 Springer Netherlands 🌐 English ⚖ 433 KB

A methodology for pattern matching of co

✍ Paul M. Griffin; Bryan L. Deuermeyer 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 805 KB

Formalization of a technical procedure f

✍ Mery, Yoann; Tiruta-Barna, Ligia; Baudin, Isabelle; Benetto, Enrico; Igos, Elorr 📂 Article 📅 2014 🏛 Elsevier Science 🌐 English ⚖ 760 KB