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

scientific article; zbMATH DE number 5827855

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

zbMATH Open1201.68053MaRDI QIDQ3063993FDOQ3063993


Authors: R. I. Podlovchenko Edit this on Wikidata


Publication date: 18 December 2010



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



Recommendations

  • scientific article
  • On a class of algebraic models of programs of practical interest
  • Studies in the theory of algebraic models of programs with procedures
  • scientific article; zbMATH DE number 1206050
  • Formal models and free program schemata
  • scientific article; zbMATH DE number 3985194
  • Approximability of some program models by others
  • Halting and equivalence of program schemes in models of arbitrary theories
  • scientific article; zbMATH DE number 850400
  • scientific article; zbMATH DE number 4052988


zbMATH Keywords

decidabilityequivalent transformations of the schemesprogram modelsYanov schemes


Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)



Cited In (3)

  • Program schemata technique for propositional program logics: a 30-year history
  • Technique of traces in solving the equivalence problem in algebraic program models
  • Program schemes with constants





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 Q3063993)

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