A decade of TAPSOFT (Q5096723): Difference between revisions

@@ Property / author @@
-Bernd Mahr
@@ Property / author: Bernd Mahr / rank @@
-Normal rank
@@ Property / author @@
+Bernd Mahr
@@ Property / author: Bernd Mahr / 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.1007/3-540-59293-8_184
+Normal rank
@@ Property / OpenAlex ID @@
+W17687489
@@ Property / OpenAlex ID: W17687489 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4721640
@@ Property / cites work: Q4721640 / rank @@
+Normal rank
@@ Property / cites work @@
+Can programming be liberated from the von Neumann style?
+Normal rank
@@ Property / cites work @@
+Algebraic specification of modules and their basic interconnections
+Normal rank
@@ Property / cites work @@
+Algebraic system specification and development. A survey and annotated bibliography
+Normal rank
@@ Property / cites work @@
+Partial abstract types
@@ Property / cites work: Partial abstract types / rank @@
+Normal rank
@@ Property / cites work @@
+An event structure semantics for graph grammars with parallel productions
+Normal rank
@@ Property / cites work @@
+Q4850736
@@ Property / cites work: Q4850736 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of theorem-proving procedures
@@ Property / cites work: The complexity of theorem-proving procedures / rank @@
+Normal rank
@@ Property / cites work @@
+SIMULA: an ALGOL-based simulation language
@@ Property / cites work: SIMULA: an ALGOL-based simulation language / rank @@
+Normal rank
@@ Property / cites work @@
+Functorial theory of parameterized specifications in a general specification framework
+Normal rank
@@ Property / cites work @@
+Q4037314
@@ Property / cites work: Q4037314 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4194478
@@ Property / cites work: Q4194478 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3221381
@@ Property / cites work: Q3221381 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3995131
@@ Property / cites work: Q3995131 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4299864
@@ Property / cites work: Q4299864 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4942095
@@ Property / cites work: Q4942095 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3995276
@@ Property / cites work: Q3995276 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4431340
@@ Property / cites work: Q4431340 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3332238
@@ Property / cites work: Q3332238 / rank @@
+Normal rank
@@ Property / cites work @@
+An overview of LP, the Larch Prover
@@ Property / cites work: An overview of LP, the Larch Prover / rank @@
+Normal rank
@@ Property / cites work @@
+Q3819984
@@ Property / cites work: Q3819984 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3030249
@@ Property / cites work: Q3030249 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3667910
@@ Property / cites work: Q3667910 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof of correctness of data representations
@@ Property / cites work: Proof of correctness of data representations / rank @@
+Normal rank
@@ Property / cites work @@
+Communicating sequential processes
@@ Property / cites work: Communicating sequential processes / rank @@
+Normal rank
@@ Property / cites work @@
+On ``On graph rewritings''
@@ Property / cites work: On ``On graph rewritings'' / rank @@
+Normal rank
@@ Property / cites work @@
+Q3862380
@@ Property / cites work: Q3862380 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic approach to single-pushout graph transformation
+Normal rank
@@ Property / cites work @@
+Applications of type theory
@@ Property / cites work: Applications of type theory / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of communicating systems
@@ Property / cites work: A calculus of communicating systems / rank @@
+Normal rank
@@ Property / cites work @@
+Characterizing specification languages which admit initial semantics
+Normal rank
@@ Property / cites work @@
+Q4698614
@@ Property / cites work: Q4698614 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3204056
@@ Property / cites work: Q3204056 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3809236
@@ Property / cites work: Q3809236 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic high-level net transformation systems
@@ Property / cites work: Algebraic high-level net transformation systems / rank @@
+Normal rank
@@ Property / cites work @@
+On graph rewritings
@@ Property / cites work: On graph rewritings / rank @@
+Normal rank
@@ Property / cites work @@
+Q3938468
@@ Property / cites work: Q3938468 / rank @@
+Normal rank
@@ Property / cites work @@
+Petri nets and algebraic specifications
@@ Property / cites work: Petri nets and algebraic specifications / rank @@
+Normal rank
@@ Property / cites work @@
+Gaussian elimination is not optimal
@@ Property / cites work: Gaussian elimination is not optimal / rank @@
+Normal rank
@@ Property / cites work @@
+Q4725720
@@ Property / cites work: Q4725720 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4721633
@@ Property / cites work: Q4721633 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3771631
@@ Property / cites work: Q3771631 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5096723