T. S. E. Maibaum

Tom Maibaum, Thomas Stephen Edward Maibaum

	2013
c93		Ramiro Demasi, Pablo F. Castro, T. S. E. Maibaum, Nazareno Aguirre: Characterizing Fault-Tolerant Systems by Means of Simulation Relations. IFM 2013: 428-442
	2012
j32		Pablo F. Castro, T. S. E. Maibaum: Encapsulating deontic and branching time specifications. Theor. Comput. Sci. 455: 98-122 (2012)
c92		Xiang Ling, Tom Maibaum: Architecture Based Development with DYNACOMM: Incorporating Dynamic Reconfiguration and Hierarchical Design into CommUnity. APSEC 2012: 493-498
c91		Pablo F. Castro, Nazareno Aguirre, Carlos Gustavo López Pombo, Tom Maibaum: A Categorical Approach to Structuring and Promoting Z Specifications. FACS 2012: 73-91
c90		Zinovy Diskin, T. S. E. Maibaum, Krzysztof Czarnecki: Intermodeling, Queries, and Kleisli Categories. FASE 2012: 163-177
c89		Wen Chen, Asif Iqbal, Akbar Abdrakhmanov, Jay Parlar, Chris George, Mark Lawford, T. S. E. Maibaum, Alan Wassyng: Change Impact Analysis for Large-scale Enterprise Systems. ICEIS (2) 2012: 359-368
c88		Germán Regis, Nicolás Ricci, Nazareno Aguirre, T. S. E. Maibaum: Specifying and Verifying Declarative Fluent Temporal Logic Properties of Workflows. SBMF 2012: 147-162
c87		Carlos Gustavo López Pombo, Pablo F. Castro, Nazareno Aguirre, T. S. E. Maibaum: Satisfiability Calculus: The Semantic Counterpart of a Proof Calculus in General Logics. WADT 2012: 195-211
c86		Zinovy Diskin, T. S. E. Maibaum: Category Theory and Model-Driven Engineering: From Formal Semantics to Design Patterns and Beyond. ACCAT 2012: 1-21
	2011
c85		Alan Wassyng, Mark Lawford, T. S. E. Maibaum: Software certification experience in the canadian nuclear industry: lessons for the future. EMSOFT 2011: 219-226
c84		Hao Xu, Tom Maibaum: An Event-B Approach to Timing Issues Applied to the Generic Insulin Infusion Pump. FHIES 2011: 160-176
	2010
c83		Alan Wassyng, Mark Lawford, T. S. E. Maibaum, Jens H. Weber, John Hatcliff: Software certification consortium: certification methods for safety-critical software. CASCON 2010: 434-436
c82		Pablo F. Castro, Nazareno Aguirre, Carlos Gustavo López Pombo, T. S. E. Maibaum: Towards Managing Dynamic Reconfiguration of Software Systems in a Categorical Setting. ICTAC 2010: 306-321
c81		Pablo F. Castro, T. S. E. Maibaum: Characterizing Locality (Encapsulation) with Bisimulation. ICTAC 2010: 322-336
c80		Mark Lawford, T. S. E. Maibaum, Alan Wassyng: Certification of Software-Driven Medical Devices. ISoLA (2) 2010: 293-295
c79		Alan Wassyng, T. S. E. Maibaum, Mark Lawford, Hans Bherer: Software Certification: Is There a Case against Safety Cases? Monterey Workshop 2010: 206-227
c78		Pablo F. Castro, T. S. E. Maibaum: Towards a First-Order Deontic Action Logic. WADT 2010: 61-75
	2009
j31		John Hatcliff, Mats Per Erik Heimdahl, Mark Lawford, T. S. E. Maibaum, Alan Wassyng, Fred L. Wurden: A Software Certification Consortium and its Top 9 Hurdles. Electr. Notes Theor. Comput. Sci. 238(4): 11-17 (2009)
j30		Pablo F. Castro, T. S. E. Maibaum: Deontic Logic, Contrary to Duty Reasoning and Fault Tolerance. Electr. Notes Theor. Comput. Sci. 258(2): 17-34 (2009)
j29		Pablo F. Castro, T. S. E. Maibaum: Deontic action logic, atomic boolean algebras and fault-tolerance. J. Applied Logic 7(4): 441-466 (2009)
j28		T. S. E. Maibaum: Formal methods versus engineering. SIGCSE Bulletin 41(2): 6-12 (2009)
c77		Nazareno Aguirre, Marcelo F. Frias, Mariano M. Moscato, T. S. E. Maibaum, Alan Wassyng: Describing and Analyzing Behaviours over Tabular Specifications Using (Dyn)Alloy. FASE 2009: 155-170
c76		Germán Regis, Nazareno Aguirre, T. S. E. Maibaum: Specifying and Verifying Business Processes Using PPML. ICFEM 2009: 737-756
p1		Pablo F. Castro, T. S. E. Maibaum: Reasoning about System-Degradation and Fault-Recovery with Deontic Logic. Methods, Models and Tools for Fault Tolerance 2009: 25-43
	2008
j27		T. S. E. Maibaum, Alan Wassyng: A Product-Focused Approach to Software Certification. IEEE Computer 41(2): 91-93 (2008)
c75		Pablo F. Castro, T. S. E. Maibaum: A Tableaux System for Deontic Action Logic. DEON 2008: 34-48
c74		Alan Wassyng, T. S. E. Maibaum, Mark Lawford: On Software Certification: We Need Product-Focused Approaches. Monterey Workshop 2008: 250-274
e7		Jorge Cuéllar, T. S. E. Maibaum, Kaisa Sere (Eds.): FM 2008: Formal Methods, 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings. Lecture Notes in Computer Science 5014, Springer 2008, isbn 978-3-540-68235-6
e6		Shaoying Liu, T. S. E. Maibaum, Keijiro Araki (Eds.): Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings. Lecture Notes in Computer Science 5256, Springer 2008, isbn 978-3-540-88193-3
	2007
c73		Xiang Ling, T. S. E. Maibaum, Nazareno Aguirre: Design in CommUnity with Extension Morphisms. Formal Methods and Hybrid Real-Time Systems 2007: 435-466
c72		T. S. E. Maibaum, Zhe (Jessie) Li: A test framework for integration testing of object-oriented programs. CASCON 2007: 252-255
c71		T. S. E. Maibaum: Challenges in Software Certification. ICFEM 2007: 4-18
c70		Pablo F. Castro, T. S. E. Maibaum: A Complete and Compact Propositional Deontic Logic. ICTAC 2007: 109-123
c69		Nazareno Aguirre, Germán Regis, T. S. E. Maibaum: Verifying Temporal Properties of CommUnity Designs. IFM 2007: 1-20
c68		Zhe (Jessie) Li, T. S. E. Maibaum: An Approach to Integration Testing of Object-Oriented Programs. QSIC 2007: 268-273
c67		Pablo F. Castro, T. S. E. Maibaum: An ought-to-do deontic logic for reasoning about fault-tolerance: the diarrheic philosophers. SEFM 2007: 151-160
	2006
c66		Nazareno Aguirre, T. S. E. Maibaum, Paulo S. C. Alencar: Extension Morphisms for CommUnity. Essays Dedicated to Joseph A. Goguen 2006: 173-193
c65		T. S. E. Maibaum: On specifying systems that connect to the physical world. SoMeT 2006: 71-83
	2005
j26		Narciso Martí-Oliet, Isabel Pita, José Luiz Fiadeiro, José Meseguer, T. S. E. Maibaum: A Verification Logic for Rewriting Logic. J. Log. Comput. 15(3): 317-352 (2005)
j25		Marcelo F. Frias, Carlos López Pombo, Gabriel A. Baum, Nazareno Aguirre, T. S. E. Maibaum: Reasoning about static and dynamic properties in alloy: A purely relational approach. ACM Trans. Softw. Eng. Methodol. 14(4): 478-526 (2005)
c64		Nazareno Aguirre, Marcelo Arroyo, Juan Bicarregui, Lucio Guzmán, T. S. E. Maibaum: Towards Dynamically Communicating Abstract Machines in the B Method. ICFEM 2005: 141-155
c63		T. S. E. Maibaum: The Epistemology of Validation and Verification Testing. TestCom 2005: 1-8
	2004
j24		Nazareno Aguirre, T. S. E. Maibaum: Hierarchical Temporal Specifications of Dynamically Reconfigurable Component Based Systems. Electr. Notes Theor. Comput. Sci. 108: 69-81 (2004)
c62		Islam A. M. El-Maddah, T. S. E. Maibaum: The GOPCSD Tool: An Integrated Development Environment for Process Control Requirements and Design. FASE 2004: 261-266
c61		Nazareno Aguirre, Juan Bicarregui, Lucio Guzmán, T. S. E. Maibaum: Implementing Dynamic Aggregations of Abstract Machines in the B Method. ICFEM 2004: 403-417
c60		Islam A. M. El-Maddah, T. S. E. Maibaum: Requirements-Reuse Using GOPCSD: Component-Based Development of Process Control Systems. ICSR 2004: 318-328
	2003
j23		T. S. E. Maibaum: On what exactly goes on when software is developed step-by-step, II: The sequel. Inf. Process. Lett. 88(1-2): 45-51 (2003)
c59		Nazareno Aguirre, T. S. E. Maibaum: Some Institutional Requirements for Temporal Reasoning on Dynamic Reconfiguration of Component Based Systems. Verification: Theory and Practice 2003: 407-435
c58		Nazareno Aguirre, T. S. E. Maibaum: A Logical Basis for the Specification of Reconfigurable Component-Based Systems. FASE 2003: 37-51
c57		Marcelo F. Frias, Carlos López Pombo, Gabriel Baum, Nazareno Aguirre, T. S. E. Maibaum: Taking Alloy to the Movies. FME 2003: 678-697
c56		Islam A. M. El-Maddah, T. S. E. Maibaum: Goal-Oriented Requirements Analysis for Process Control Systems Design. MEMOCODE 2003: 45-46
c55		Nazareno Aguirre, Juan Bicarregui, Theodosis Dimitrakos, T. S. E. Maibaum: Towards Dynamic Population Management of Abstract Machines in the B Method. ZB 2003: 528-545
e5		Bernhard K. Aichernig, T. S. E. Maibaum (Eds.): Formal Methods at the Crossroads. From Panacea to Foundational Support, 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers. Lecture Notes in Computer Science 2757, Springer 2003, isbn 3-540-20527-6
	2002
j22		T. S. E. Maibaum: Desert Island Column. Autom. Softw. Eng. 9(1): 123-126 (2002)
j21		Carlos H. C. Duarte, T. S. E. Maibaum: A Branching Time Logical System for Open Distributed Systems Development. Electr. Notes Theor. Comput. Sci. 67: 184-203 (2002)
c54		T. S. E. Maibaum: How Do I Trust Thee? Let Me Count The Ways. IEEE ICCI 2002: 23
c53		Nazareno Aguirre, T. S. E. Maibaum: A Temporal Logic Approach to the Specification of Reconfigurable Component-Based Systems. ASE 2002: 271-274
c52		T. S. E. Maibaum: In Memoriam Armando Martín Haeberer: 4 January 1947 - 11 February 2003. 10th Anniversary Colloquium of UNU/IIST 2002: 1-25
	2001
j20		Juan Bicarregui, Theodosis Dimitrakos, Dov M. Gabbay, T. S. E. Maibaum: Interpolation in Practical Formal Development. Logic Journal of the IGPL 9(2): 231-244 (2001)
c51		Marcelo F. Frias, Gabriel Baum, T. S. E. Maibaum: Interpretability of First-Order Dynamic Logic in a Relational Calculus. RelMiCS 2001: 66-80
c50		Tom Maibaum, Paul Joannou: 2nd Software Certification Consortium Workshop: Theoretical Basis for System and Software Engineering Practices and Certification. CASCON 2001: 375-376
c49		Aspassia Daskalopulu, T. S. E. Maibaum: Towards Electronic Contract Performance. DEXA Workshop 2001: 771-777
c48		Armando Martin Haeberer, T. S. E. Maibaum: Scientific Rigour, an Answer to a Pragmatic Question: A Linguistic Framework for Software Engineering. ICSE 2001: 463-472
	2000
j19		T. S. E. Maibaum, Bernhard Rumpe: Automated Software Engineering: Special Issue on Precise Semantics for Software Modeling Techniques (PSMT - an ICSE'98 Workshop). Autom. Softw. Eng. 7(1): 7-8 (2000)
j18		Carlos H. C. Duarte, T. S. E. Maibaum: A rely-guarantee discipline for open distributed systems design. Inf. Process. Lett. 74(1-2): 55-63 (2000)
j17		Theodosis Dimitrakos, T. S. E. Maibaum: On a generalized modularization theorem. Inf. Process. Lett. 74(1-2): 65-71 (2000)
c47		T. S. E. Maibaum: Mathematical foundations of software engineering: a roadmap. ICSE - Future of SE Track 2000: 161-172
c46		T. S. E. Maibaum: An Overview of The Mensurae Language: Specifying Business Processes. Rigorous Object-Oriented Methods 2000
c45		Theodosis Dimitrakos, Juan Bicarregui, Brian Matthews, T. S. E. Maibaum: Compositional Structuring in the B-Method: A Logical Viewpoint of the Static Context. ZB 2000: 107-126
e4		T. S. E. Maibaum (Ed.): Fundamental Approaches to Software Engineering, Third Internationsl Conference, FASE 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings. Lecture Notes in Computer Science 1783, Springer 2000, isbn 3-540-67261-3
	1999
c44		José Luiz Fiadeiro, T. S. E. Maibaum, Narciso Martí-Oliet, José Meseguer, Isabel Pita: Towards a Verification Logic for Rewriting Logic. WADT 1999: 438-458
c43		Ezra Kaahwa Mugisa, T. S. E. Maibaum: A Framework for Describing Software Architectures for Reuse. WICSA 1999: 245-272
	1998
c42		T. S. E. Maibaum, Pauline Kan, Kevin Lano: Systematising Reactive System Design. AMAST 1998: 17-22
c41		Gabriel Baum, Marcelo F. Frias, T. S. E. Maibaum: A Logic for Real-Time Systems Specification, Its Algebraic Semantics, and Equational Calculus. AMAST 1998: 91-105
c40		Armando Martin Haeberer, T. S. E. Maibaum: The Very Idea of Software Development Environments: A Conceptual Architecture for the ARTS Environment Paradigm. ASE 1998: 260-271
	1997
j16		José Luiz Fiadeiro, T. S. E. Maibaum: Categorical Semantics of Parallel Program Design. Sci. Comput. Program. 28(2-3): 111-138 (1997)
c39		Juan Bicarregui, Kevin Lano, T. S. E. Maibaum: Towards a compositional interpretation of object diagrams. Algorithmic Languages and Calculi 1997: 187-211
c38		José Luiz Fiadeiro, Antónia Lopes, T. S. E. Maibaum: Synthesising interconnections. Algorithmic Languages and Calculi 1997: 240-264
c37		Juan Bicarregui, Kevin Lano, T. S. E. Maibaum: Objects, Associations and Subsystems: A Hierarchical Approach to Encapsulation. ECOOP 1997: 324-343
c36		Juan Bicarregui, Kevin Lano, T. S. E. Maibaum: Formalizing Object-Oriented Models in the Object Calculus. ECOOP Workshops 1997: 155-160
c35		T. S. E. Maibaum: What We Teach Software Engineers in the University: Do We Take Engineering Seriously? ESEC / SIGSOFT FSE 1997: 40-50
c34		Theodosis Dimitrakos, T. S. E. Maibaum: Notes on Refinement, Interpolation and Uniformity. ASE 1997: 108-116
c33		T. S. E. Maibaum: Conservative Extensions, Interpretations Between Theories and All That! TAPSOFT 1997: 40-66
	1996
e3		H. Dieter Rombach, T. S. E. Maibaum, Marvin V. Zelkowitz (Eds.): 18th International Conference on Software Engineering, Berlin, Germany, March 25-29, 1996, Proceedings. IEEE Computer Society 1996, isbn 0-8186-7246-3
	1995
j15		Paulo A. S. Veloso, T. S. E. Maibaum: On the Modularization Theorem for Logical Specifications. Inf. Process. Lett. 53(5): 287-293 (1995)
c32		José Luiz Fiadeiro, T. S. E. Maibaum: Interconnecting Formalisms: Supporting Modularity, Reuse and Incrementality. SIGSOFT FSE 1995: 72-80
	1994
c31		José Luiz Fiadeiro, T. S. E. Maibaum: Sometimes "Tomorrow" is "Sometime" - Action Refinement in a Temporal Logic of Objects. ICTL 1994: 48-66
c30		José Luiz Fiadeiro, T. S. E. Maibaum: Verifying for Reuse: Foundations of Object-Oriented System Verification. Theory and Formal Methods 1994: 235-257
	1993
c29		José Luiz Fiadeiro, T. S. E. Maibaum: Generalising Interpretations between Theories in the context of (pi-) Institutions. Theory and Formal Methods 1993: 126-147
c28		T. S. E. Maibaum: Taking More of the Soft out of Software Engineering. IWSSD 1993: 2-9
	1992
j14		José Luiz Fiadeiro, T. S. E. Maibaum: Temporal Theories as Modularisation Units for Concurrent System Specification. Formal Asp. Comput. 4(3): 239-272 (1992)
j13		Mario R. F. Benevides, T. S. E. Maibaum: A Constructive Presentation for the Modal Connective of Necessity (\Box). J. Log. Comput. 2(1): 31-50 (1992)
j12		T. S. E. Maibaum: Editorial. J. Log. Comput. 2(3): 243-245 (1992)
	1991
j11		José Luiz Fiadeiro, T. S. E. Maibaum: Temporal reasoning over deontic specifications. J. Log. Comput. 1(3): 357-395 (1991)
c27		José Luiz Fiadeiro, José Félix Costa, Amílcar Sernadas, T. S. E. Maibaum: Process Semantics of Temporal Logic Specifications. COMPASS/ADT 1991: 236-253
c26		Mark Ryan, José Luiz Fiadeiro, T. S. E. Maibaum: Sharing Actions and Attributes in Modal Action Logic. TACS 1991: 569-593
e2		Samson Abramsky, T. S. E. Maibaum (Eds.): TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991, Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'91). Lecture Notes in Computer Science 493, Springer 1991, isbn 3-540-53982-4
e1		Samson Abramsky, T. S. E. Maibaum (Eds.): TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991, Volume 2: Advances in Distributed Computing (ADC) and Colloquium on Combining Paradigms for Software Developmemnt (CCPSD). Lecture Notes in Computer Science 494, Springer 1991, isbn 3-540-53981-6
	1990
c25		José Luiz Fiadeiro, Cristina Sernadas, T. S. E. Maibaum, Gunter Saake: Proof-Theoretic Semantics of Object-Oriented Specification Constructs. DS-4 1990: 243-284
c24		José Luiz Fiadeiro, T. S. E. Maibaum: Describing, Structuring and Implementing Objects. REX Workshop 1990: 274-310
	1989
c23		Celso Niskier, T. S. E. Maibaum, Daniel Schwabe: A Pluralistic Knowledge-Based Approach to Software Specification. ESEC 1989: 411-423
	1988
c22		T. S. E. Maibaum: Configuration versus Use: Specification Languages versus Logics. ADT 1988
c21		Da-Hai Li, T. S. E. Maibaum: A Top-down Step-wise Refinement Methodology for Protocol Specification. Concurrency 1988: 197-221
	1987
c20		Samit Khosla, T. S. E. Maibaum: The Prescription and Description of State Based Systems. Temporal Logic in Specification 1987: 243-294
	1986
c19		T. S. E. Maibaum: Modular Construction of Logics for Specification. ADT 1986
c18		T. S. E. Maibaum: Role of Abstraction in Program Development (Invited Paper). IFIP Congress 1986: 135-142
	1985
j10		Antonio L. Furtado, T. S. E. Maibaum: An Informal Approach to Formal (Algebraic) Specifications. Comput. J. 28(1): 59-67 (1985)
j9		T. S. E. Maibaum: Database Instances, Abstract Data Types and Database Specification. Comput. J. 28(2): 154-161 (1985)
c17		Samit Khosla, T. S. E. Maibaum, M. R. Sadler: Database Specification. DS-1 1985: 141-158
c16		Samit Khosla, T. S. E. Maibaum, M. R. Sadler: Large Database Specification from Small Views. FSTTCS 1985: 246-271
c15		T. S. E. Maibaum, Paulo A. S. Veloso, M. R. Sadler: A Theory of Abstract Data Types for Program Development: Bridging the Gap? TAPSOFT, Vol.2 1985: 214-230
	1984
c14		T. S. E. Maibaum, M. R. Sadler: Axiomatizing Specification Theory. ADT 1984: 171-177
c13		T. S. E. Maibaum, M. R. Sadler, Paulo A. S. Veloso: Logical Specification and Implementation. FSTTCS 1984: 13-30
c12		T. S. E. Maibaum, Wladyslaw M. Turski: On What Exactly Is Going On When Software Is Developed Step-by-Step. ICSE 1984: 528-533
	1983
j8		P. R. F. Cunha, Carlos José Pereira de Lucena, T. S. E. Maibaum: Message Oriented Programming - A Resource Based Methodology. Comput. Lang. 8(3/4): 95-111 (1983)
c11		T. S. E. Maibaum: Structuring of Specifications within a Logical Theory of Data Types. ADT 1983
c10		Forouzan Golshani, T. S. E. Maibaum, M. R. Sadler: A Modal System of Algebras for Database Specification and Query/Update Language Support. VLDB 1983: 331-339
	1982
j7		Michael R. Levy, T. S. E. Maibaum: Continuous Data Types. SIAM J. Comput. 11(2): 201-216 (1982)
c9		A. Koch, T. S. E. Maibaum: A message oriented language for system applications. ICDCS 1982: 824-832
	1981
j6		C. S. dos Santos, T. S. E. Maibaum, Antonio L. Furtado: Conceptual modeling of data base operations. International Journal of Parallel Programming 10(5): 299-314 (1981)
c8		Paulo Roberto Freire Cunha, T. S. E. Maibaum: A Synchronization Calculus for Message Oriented Programming. ICDCS 1981: 433-445
c7		P. R. F. Cunha, T. S. E. Maibaum: Resource = Abstract Data Type + Synchronization - A Methodology for Message Oriented Programming. ICSE 1981: 263-272
	1980
j5		T. S. E. Maibaum, Carlos José Pereira de Lucena: Higher order data types. International Journal of Parallel Programming 9(1): 31-53 (1980)
j4		Paulo Roberto Freire Cunha, Carlos José Pereira de Lucena, T. S. E. Maibaum: On the design and specification of message oriented programs. International Journal of Parallel Programming 9(3): 161-191 (1980)
c6		P. R. F. Cunha, T. S. E. Maibaum: A Communication Data Type for Message Oriented Programming. Symposium on Programming 1980: 79-91
c5		P. R. F. Cunha, Carlos José Pereira de Lucena, T. S. E. Maibaum: A Methodology for Message Oriented Programming. Fachtagung über Programmiersprachen 1980: 83-93
	1979
c4		Maarten H. van Emden, T. S. E. Maibaum: Equations Compared with Clauses for Specification of Abstract Data Types. Advances in Data Base Theory 1979: 159-193
	1978
j3		T. S. E. Maibaum: Pumping Lemmas for Term Languages. J. Comput. Syst. Sci. 17(3): 319-330 (1978)
	1977
j2		T. S. E. Maibaum: Erratum: A Generalized Approach to Formal Languages. J. Comput. Syst. Sci. 14(3): 369 (1977)
c3		T. S. E. Maibaum: Mathematical Semantics and a Model for Data Bases. IFIP Congress 1977: 133-138
	1974
j1		T. S. E. Maibaum: A Generalized Approach to Formal Languages. J. Comput. Syst. Sci. 8(3): 409-439 (1974)
c2		Karel Culik II, T. S. E. Maibaum: Parallel Rewriting Systems on terms. ICALP 1974: 495-510
	1972
c1		T. S. E. Maibaum: The Characterization of the Derivation Trees of Context Free Sets of Terms as Regular Sets. SWAT (FOCS) 1972: 224-230

Coauthor Index

Colors in the list of coauthors

Last update Sat May 25 18:45:49 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page