Pages that link to "Item:Q1892701"
From MaRDI portal
The following pages link to TAPSOFT '95: Theory and practice of software development. 6th international joint conference CAAP/FASE, Aarhus, Denmark, May 1995. Proceedings (Q1892701):
Displaying 7 items.
- TAPSOFT '87. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27. 1987. Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebr (Q1084082) (← links)
- TAPSOFT '87. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987. Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Functional and (Q1084083) (← links)
- TAPSOFT '91. Proceedings of the international joint conference on theory and practice of software development, Brighton, GB, April 8-12, 1991. Vol. 2: Advances in distributed computing (ADC) and Colloquium on combining paradigms for software development ( (Q1202093) (← links)
- Selected papers of TAPSOFT '95: Theory and practice of software development. Aarhus, Denmark, May 1995 (Q1369236) (← links)
- Trees in algebra and programming. 6 papers presented at the 22nd and last CAAP conference, Lille, France, April 14--18, 1997 (Q1572592) (← links)
- CCS with Hennessy's merge has no finite-equational axiomatization (Q1763725) (← links)
- (Q4790384) (← links)