Inspecting Maude variants with GLINTS *

Publisher： Cambridge University Press

E-ISSN： 1475-3081|17|5-6|689-707

ISSN： 1471-0684

Source： Theory and Practice of Logic Programming, Vol.17, Iss.5-6, 2017-09, pp. : 689-707

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Doomsday for the Euro Area: Causes, Variants and Consequences of Breakup

By Belke Ansgar   Verheyen Florian  

International Journal of Financial Studies, Vol. 1, Iss. 1, 2012-07 ,pp. : 1-15

MDPI

Access to resources Recommend Favorite

Toward a function-based IT platform for variants redesign of household appliances

By  

AI EDAM, Vol. 31, Iss. 4, 2017-09 ,pp. : 512-534

Cambridge University Press

Access to resources Recommend Favorite

Reduced Numerical Model for Methane Hydrate Formation under Conditions of Variable Salinity. Time-Stepping Variants and Sensitivity

By Peszynska Malgorzata   Medina Francis Patricia   Hong Wei-Li   Torres Marta E.  

Computation, Vol. 4, Iss. 1, 2015-12 ,pp. : 1-1

MDPI

Access to resources Recommend Favorite

Finite Automata Capturing Winning Sequences for All Possible Variants of the PQ Penny Flip Game

By Andronikos Theodore   Sirokofskich Alla   Kastampolidou Kalliopi   Varvouzou Magdalini   Giannakis Konstantinos   Singh Alexander  

Mathematics, Vol. 6, Iss. 2, 2018-02 ,pp. : 20-20

MDPI

Access to resources Recommend Favorite