Mathematical Research Data Initiative
Main page
Recent changes
Random page
SPARQL
MaRDI@GitHub
New item
Special pages
In other projects
MaRDI portal item
Discussion
View source
View history
English
Log in

scientific article; zbMATH DE number 3589705

From MaRDI portal
Publication:4157924
Jump to:navigation, search

zbMATH Open0378.68008MaRDI QIDQ4157924FDOQ4157924


Authors: André Arnold Edit this on Wikidata


Publication date: 1978


Full work available at URL: https://eudml.org/doc/92070

Title of this publication is not available (Why is that?)




Mathematics Subject Classification ID

General topics in the theory of software (68N01) Formal languages and automata (68Q45)


Cites Work

  • Call-by-name, call-by-value and the \(\lambda\)-calculus
  • Title not available (Why is that?)
  • Fixpoint approach to the theory of computation
  • A generalized approach to formal languages
  • Least fixed points revisited
  • Title not available (Why is that?)
  • Title not available (Why is that?)
  • Title not available (Why is that?)
  • Title not available (Why is that?)


Cited In (2)

  • Title not available (Why is that?)
  • Comparaison et équivalence de sémantiques pour les schémas de programmes non déterministes





This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4157924)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4157924&oldid=17968050"
Tools
What links here
Related changes
Printable version
Permanent link
Page information
This page was last edited on 6 February 2024, at 10:43. Warning: Page may not contain recent updates.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki