✦ LIBER ✦

A Generic Framework for Adaptive Vague Logics

✍ Scribed by Peter Verdée; Stephan van der Waart van Gulik

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Generic Framework for Adaptive Vague L

✍ Peter Verdée; Stephan van der Waart van Gulik 📂 Article 📅 2008 🏛 Springer Netherlands 🌐 English ⚖ 301 KB

Rewriting Logic as a Framework for Gener

✍ Martin Leucker; Thomas Noll 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 332 KB

A General Framework for Automatic Termin

✍ Nachum Dershowitz; Naomi Lindenstrauss; Yehoshua Sagiv; Alexander Serebrenik 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 403 KB

A Logical Framework for Convention

✍ Giacomo Sillari 📂 Article 📅 2005 🏛 Springer Netherlands 🌐 English ⚖ 127 KB

A generic grid interface for parallel an

✍ P. Bastian; M. Blatt; A. Dedner; C. Engwer; R. Klöfkorn; M. Ohlberger; O. Sander 📂 Article 📅 2008 🏛 Springer Vienna 🌐 English ⚖ 312 KB

A Generic Framework for Distributed Mult

✍ Sanem Sariel-Talay; Tucker R. Balch; Nadia Erdogan 📂 Article 📅 2011 🏛 Springer Netherlands 🌐 English ⚖ 743 KB