Predicate transformers in the context of symbolic modeling of transition systems (Q2452757): Difference between revisions

@@ 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.1007/s10559-010-9236-8
+Normal rank
@@ Property / OpenAlex ID @@
+W1985887562
@@ Property / OpenAlex ID: W1985887562 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5584402
@@ Property / cites work: Q5584402 / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatic basis for computer programming
@@ Property / cites work: An axiomatic basis for computer programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q2722032
@@ Property / cites work: Q2722032 / rank @@
+Normal rank
@@ Property / cites work @@
+Systems specification by basic protocols
@@ Property / cites work: Systems specification by basic protocols / rank @@
+Normal rank
@@ Property / cites work @@
+A Practical Decision Procedure for Arithmetic with Function Symbols
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2452757