Equation Solving Using Modal Transition Systems

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

122 Citationer (Scopus)
OriginalsprogEngelsk
TidsskriftLogic in Computer Science
ISSN1043-6871
StatusUdgivet - 1990

Citationsformater