„Initial Algebra Semantics“

Suchergebnisse

8 Treffer

• Order-Sorted Equational Computation
  Smolka, Gert ; Nutt, Werner ; Goguen, Joseph ; Meseguer, José 2023 Saarländische Universitäts- und Landesbibliothek
• Variations on Inductive-Recursive Definitions
  Ghani, Neil ; McBride, Conor ; Nordvall Forsberg, Fredrik ; Spahn, Stephan 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Cuts for circular proofs: semantics and cut-elimination
  Fortier, Jérôme ; Santocanale, Luigi 2013 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Compositionality of application oriented structuring mechanisms for algebraic specification languages with initial semantics
  Claßen, Ingo
• Some algebraic concepts of a Petri-net based specification language and their initial semantics
  Schmidt, Heinz Wilhelm ; Kreowski, Hans-Jörg 1983 Ges. für Mathematik u. Datenverarbeitung
• Fundamentals of Algebraic Specification 1 – Equations and Initial Semantics
  1985 Springer Berlin Heidelberg
• Denotational and initial algebra semantics of the algebraic sepcification [specification] language look – (Version: June 1982)
  Ehrig, Hartmut 1984 Techn. Univ. Berlin, Fachbereich 20 - Informatik
• Some algebraic concepts of the specification language SEGRAS and their initial semantics
  Kreowski, Hans-Jörg ; Schmidt, Heinz Wilhelm 1984 Ges. für Mathematik u. Datenverarbeitung