A Homage to Martin Wirsing (Q5256328): Difference between revisions

@@ Property / cites work @@
+Das Entscheidungsproblem der Klasse von Formeln, die höchstens zwei Primformeln enthalten
+Normal rank
@@ Property / cites work @@
+Kleine unentscheidbare Klassen der Prädikatenlogik mit Identität und Funktionszeichen
+Normal rank
@@ Property / cites work @@
+Small Universal Post Systems
@@ Property / cites work: Small Universal Post Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3999578
@@ Property / cites work: Q3999578 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof systems for structured specifications with observability operators
+Normal rank
@@ Property / cites work @@
+Adapting Proofs-as-Programs
@@ Property / cites work: Adapting Proofs-as-Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417820
@@ Property / cites work: Q4417820 / rank @@
+Normal rank
@@ Property / cites work @@
+Partial abstract types
@@ Property / cites work: Partial abstract types / rank @@
+Normal rank
@@ Property / cites work @@
+On hierarchies of abstract data types
@@ Property / cites work: On hierarchies of abstract data types / rank @@
+Normal rank
@@ Property / cites work @@
+Q3666260
@@ Property / cites work: Q3666260 / rank @@
+Normal rank
@@ Property / cites work @@
+Structured algebraic specifications: A kernel language
+Normal rank
@@ Property / cites work @@
+Q4385539
@@ Property / cites work: Q4385539 / rank @@
+Normal rank
@@ Property / cites work @@
+Behavioural and abstractor specifications
@@ Property / cites work: Behavioural and abstractor specifications / rank @@
+Normal rank
@@ Property / cites work @@
+Programming in a wide spectrum language: A collection of examples
+Normal rank
@@ Property / cites work @@
+A formal approach to object-oriented software engineering
+Normal rank
@@ Property / cites work @@
+Q2764133
@@ Property / cites work: Q2764133 / rank @@
+Normal rank
@@ Property / cites work @@
+Specification and refinement of mobile systems in MTLA and mobile UML
+Normal rank
@@ Property / cites work @@
+Q4192046
@@ Property / cites work: Q4192046 / rank @@
+Normal rank
@@ Property / cites work @@
+On the algebraic definition of programming languages
+Normal rank
@@ Property / cites work @@
+A Heterogeneous Approach to UML Semantics
@@ Property / cites work: A Heterogeneous Approach to UML Semantics / rank @@
+Normal rank
@@ Property / cites work @@
+What Is a Multi-modeling Language?
@@ Property / cites work: What Is a Multi-modeling Language? / rank @@
+Normal rank
@@ Property / cites work @@
+Comparing goal-oriented and procedural service orchestration1
+Normal rank
@@ Property / cites work @@
+Q3045612
@@ Property / cites work: Q3045612 / rank @@
+Normal rank
@@ Property / cites work @@
+A contract-based approach to adaptivity
@@ Property / cites work: A contract-based approach to adaptivity / rank @@
+Normal rank
@@ Property / cites work @@
+A Rewriting Logic Framework for Soft Constraints
@@ Property / cites work: A Rewriting Logic Framework for Soft Constraints / rank @@
+Normal rank
@@ Property / cites work @@
+Which Soft Constraints do you Prefer?
@@ Property / cites work: Which Soft Constraints do you Prefer? / rank @@
+Normal rank
@@ Property / cites work @@
+Q4413609
@@ Property / cites work: Q4413609 / rank @@
+Normal rank