A calculus for automatic verification of Petri nets based on resolution and dynamic logics (Q530854): Difference between revisions

@@ Property / author @@
-Edward Hermann Haeusler
@@ Property / author: Edward Hermann Haeusler / rank @@
-Normal rank
@@ Property / author @@
+Edward Hermann Haeusler
@@ Property / author: Edward Hermann Haeusler / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q85
@@ Property / Mathematics Subject Classification ID: 68Q85 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B45
@@ Property / Mathematics Subject Classification ID: 03B45 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B70
@@ Property / Mathematics Subject Classification ID: 03B70 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q60
@@ Property / Mathematics Subject Classification ID: 68Q60 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6608307
@@ Property / zbMATH DE Number: 6608307 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+dynamic logic
@@ Property / zbMATH Keywords: dynamic logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Petri nets
@@ Property / zbMATH Keywords: Petri nets / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+resolution
@@ Property / zbMATH Keywords: resolution / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+deductive systems
@@ Property / zbMATH Keywords: deductive systems / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q113317806
@@ Property / Wikidata QID: Q113317806 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2015.04.008
+Normal rank
@@ Property / OpenAlex ID @@
+W2009555631
@@ Property / OpenAlex ID: W2009555631 / rank @@
+Normal rank
@@ Property / cites work @@
+Monodic temporal resolution
@@ Property / cites work: Monodic temporal resolution / rank @@
+Normal rank
@@ Property / cites work @@
+Lectures on Concurrency and Petri Nets
@@ Property / cites work: Lectures on Concurrency and Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional dynamic logic of regular programs
@@ Property / cites work: Propositional dynamic logic of regular programs / rank @@
+Normal rank
@@ Property / cites work @@
+Combining deduction and model checking into tableaux and algorithms for converse-PDL.
+Normal rank
@@ Property / cites work @@
+Infinite State Model-Checking of Propositional Dynamic Logics
+Normal rank
@@ Property / cites work @@
+Model checking propositional dynamic logic with all extras
+Normal rank
@@ Property / cites work @@
+Extending propositional dynamic logic for Petri nets
+Normal rank
@@ Property / cites work @@
+Q3771629
@@ Property / cites work: Q3771629 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4733400
@@ Property / cites work: Q4733400 / rank @@
+Normal rank
@@ Property / cites work @@
+Anti-prenexing and Prenexing for Modal Logics
@@ Property / cites work: Anti-prenexing and Prenexing for Modal Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4133144
@@ Property / cites work: Q4133144 / rank @@
+Normal rank
@@ Property / cites work @@
+A Machine-Oriented Logic Based on the Resolution Principle
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:530854