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

scientific article; zbMATH DE number 7799622

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

DOI10.4230/LIPICS.FSTTCS.2021.44MaRDI QIDQ6187062

Salvador Lucas, Unnamed Author, Raúl Gutiérrez

Publication date: 5 February 2024


Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

confluenceprogram analysisrewriting-based systems


Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Theory of computing (68Qxx)








This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6187062&oldid=35682311"
Tools
What links here
Related changes
Special pages
Printable version
Permanent link
Page information
This page was last edited on 10 July 2024, at 07:07.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki