Вы здесь

Главная

алгебраический

Связанные издания:

Recent Trends in Algebraic Development Techniques: Proc./15th Intern. Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 2001
Recent Trends in Algebraic Development Techniques: Proc./16th Intern. Workshop, WADT 2002, Frauenchiemsee, Germany, September 2002
Recent Trends in Algebraic Development Techniques: Revised Selected Papers/17th International Workshop, WADT 2004. Barcelona, Spain, March 2004
Recent Trends in Algebraic Development Techniques: Revised Selected Papers/18th International Workshop, WADT 2006. La Roche en Ardenne, Belgium, June 2006
Recent Trends in Algebraic Development Techniques: Revised Selected Papers/19th International Workshop, WADT 2008. Pisa, Italy, June 2008
Recent Trends in Algebraic Development Techniques: Revised Selected Papers/22nd International Workshop, WADT 2014, Sinaia, Romnia, September 2014
Recent Trends in Algebraic Development Techniques: Selected Papers/ 13th International Workshop, WADT 98, Lisbon, Portugal, April 1998
Recent Trends in Data Type Specification: Selected Papers/10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop. S.Margherita, Italy, May-June 1994
Recent Trends in Data Type Specification: Selected Papers/ 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop. Oslo,Norway,September 1995
Recent Trends in Data Type Specification: Selected Papers/9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop. Caldes de Malavella, Spain, October 1992
Receptive Process Theory
REDUCE Meets CAMAL
Regular Marked Petri Nets
Relational and Algebraic Methods in Computer Science: Proc./12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May/June 2011
Relational and Algebraic Methods in Computer Science: Proc./14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 2014
Relational and Algebraic Methods in Computer Science: Proc./15th International Conference, RAMiCS 2015, Braga, Portugal, September 2015
Relational and Kleene-Algebraic Methods in Computer Science: Rev.Sel.Papers/ 7th Intern.Seminar on Relational Methods in CS and 2nd Inter.Workhop on Applications of Kleene Algebra.Bad Malente,Germany,May 2003
Relation algebraic domain constructions
Restriction Constructions in Specification Logics
Reusing Object Oriented Design: An Algebraic Approach
Reversible Computation: Proc./13th International Conference, RC 2021, Virtual Event, July 2021
Rewriting Regular Inequalities
Rewriting Techniques for Software Engineering
Rule-Based Refinement of High-Level Nets Preserving Safety Properties
Sample: New Programming Technology and AI Language
Second-Order Proof Systems for Algebraic Specification Languages
Semantic Constructions for Hidden Algebra
Semantics and Algebraic Specification: Essays Dedicated to Peter D.Mosses on the Occasion of his 60th Birthday
Semantic Typing for Parametric Algebraic Specifications
Separation for Boundary to CSG Conversion
Sequences and Their Applications - SETA 2012: Proc./7th International Conference, Waterloo,ON,Canada, June 2012
Sequences and Their Applications - SETA 2014: Proc./8th International Conference, Melbourne, VIC, Australia, November 2014
Shape Analysis of Functional Programs with Algebraic Data Types
Shapely Types and Shape Polymorphism
Siphons and Traps of Algebraic Petri Nets
Software Language Engineering: Revised Selected Papers/ Third International Conference, SLE 2010, Eindhoven, The Netherlands, October 2010
Some Human Interaction Issues in Computer Algebra
Sort Inheritance for Order-Sorted Equational Presentations
Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi
Specification and Proof in Membership Equational Logic
Specification and Verification in Higher Order Algebra: A Case Study of Convolution
Specification and Verification of Synchronizing Concurrent Objects
Specification Refinement with System F - The Higher-Order Case
State-Based Extension of CASL
Stepwise Introduction and Preservation of Safety Properties in Algebraic High-Level Net Systems
Strictness Properties of Lazy Algebraic Datatypes
Structured Algebraic Specifications: a Kernel Language
Structured Inheritance for Algebraic Class Specification
Synthesis of a new Systolic Architecture for the Algebraic Path Problem
System Description of LAMBDALG - A Higher Order Algebraic Specification Language