Operational semantics for order-sorted algebra

Joseph A. Goguen, Jean Pierre Jouannaud, José Meseguer

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish (US)
Title of host publicationAutomata, Languages and Programming - 12th Colloquium
EditorsWilfried Brauer
PublisherSpringer
Pages221-231
Number of pages11
ISBN (Print)9783540156505
DOIs
StatePublished - 1985
Externally publishedYes
Event12th International Colloquium on Automata, Languages and Programming, ALP 1985 - Nafplion, Greece
Duration: Jul 15 1985Jul 19 1985

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume194 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other12th International Colloquium on Automata, Languages and Programming, ALP 1985
CountryGreece
CityNafplion
Period7/15/857/19/85

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this