-
1دورية أكاديمية
المؤلفون: Mathias Hülsbusch, Barbara König, Sebastian Küpper, Lara Stoltenow
المصدر: Logical Methods in Computer Science, Vol Volume 18, Issue 1 (2022)
مصطلحات موضوعية: computer science - logic in computer science, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95
وصف الملف: electronic resource
-
2
المؤلفون: Mathias Hülsbusch, Barbara König
المصدر: Foundations of Software Science and Computational Structures ISBN: 9783642287282
FoSSaCSمصطلحات موضوعية: Discrete mathematics, Bisimulation, Semantics (computer science), Principle of compositionality, Model transformation, Context (language use), Reduction (complexity), Algebra, Informatik, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Rewriting, computer, Reactive system, Mathematics, computer.programming_language
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::be52e879813b78de7288f24cccd04bbc
https://doi.org/10.1007/978-3-642-28729-9_24 -
3
المؤلفون: Mathias Hülsbusch
المصدر: Lecture Notes in Computer Science ISBN: 9783642159275
ICGTمصطلحات موضوعية: Algebra, Informatik, Graph rewriting, law, Clique-width, Line graph, Voltage graph, Directed graph, Null graph, Graph property, Simplex graph, law.invention, Mathematics
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9a0cfea9897b8a319cc732b8bec379f9
https://doi.org/10.1007/978-3-642-15928-2_29