Found: 15
Select item for more details and to access through your institution.
Knorc Calculus and Its Formal Semantics.
- Published in:
- International Journal of Software & Informatics, 2015, v. 9, n. 2, p. 205
- By:
- Publication type:
- Article
A Calculus for (Meta)Models and Transformations.
- Published in:
- International Journal of Software Engineering & Knowledge Engineering, 2014, v. 24, n. 5, p. 715, doi. 10.1142/S0218194014500272
- By:
- Publication type:
- Article
EQUIVALENCE CHECKING OF COMMUNICATING UML STATECHART DIAGRAMS.
- Published in:
- International Journal of Software Engineering & Knowledge Engineering, 2012, v. 22, n. 2, p. 265, doi. 10.1142/S0218194012500076
- By:
- Publication type:
- Article
Explicit substitutions calculi with one step Eta-reduction decided explicitly.
- Published in:
- Logic Journal of the IGPL, 2009, v. 17, n. 6, p. 697, doi. 10.1093/jigpal/jzp027
- By:
- Publication type:
- Article
Two graph algorithms derived.
- Published in:
- Acta Informatica, 1999, v. 36, n. 6, p. 489, doi. 10.1007/s002360050182
- By:
- Publication type:
- Article
Mathematicians' Perspectives on the Utility of Software.
- Published in:
- International Journal for Technology in Mathematics Education, 2016, v. 23, n. 3, p. 103, doi. 10.1564/tme_v23.3.02
- By:
- Publication type:
- Article
River: an intermediate language for stream processing.
- Published in:
- Software: Practice & Experience, 2016, v. 46, n. 7, p. 891, doi. 10.1002/spe.2338
- By:
- Publication type:
- Article
Formal Specification and Verification of Mobile Agent Systems.
- Published in:
- International Journal of Computers, Communications & Control, 2014, v. 9, n. 3, p. 292, doi. 10.15837/ijccc.2014.3.116
- By:
- Publication type:
- Article
Necessary optimality conditions for optimistic bilevel programming problems using set-valued programming.
- Published in:
- Journal of Global Optimization, 2015, v. 61, n. 4, p. 769, doi. 10.1007/s10898-014-0200-4
- By:
- Publication type:
- Article
An event calculus production rule system for reasoning in dynamic and uncertain domains.
- Published in:
- Theory & Practice of Logic Programming, 2016, v. 16, n. 3, p. 325, doi. 10.1017/S1471068416000065
- By:
- Publication type:
- Article
First-class patterns.
- Published in:
- Journal of Functional Programming, 2009, v. 19, n. 2, p. 191, doi. 10.1017/S0956796808007144
- By:
- Publication type:
- Article
Modeling-Based Calculus with R/mosaic.
- Published in:
- UMAP Journal, 2015, v. 36, n. 1, p. 23
- By:
- Publication type:
- Article
The ramification problem in temporal databases: an approach with conflicting constraints.
- Published in:
- Journal of Intelligent Information Systems, 2012, v. 38, n. 1, p. 41, doi. 10.1007/s10844-010-0143-2
- By:
- Publication type:
- Article
On the expressiveness of π-calculus for encoding mobile ambients.
- Published in:
- Mathematical Structures in Computer Science, 2018, v. 28, n. 2, p. 202, doi. 10.1017/S0960129516000256
- By:
- Publication type:
- Article
Experiments with iterative methods for linear systems using GeoGebra and TI-Nspire.
- Published in:
- Annales Universitates Paedagogicae Cracoviensis. Studia ad Didacticam Mathematicae Pertinentia, 2019, p. 89, doi. 10.24917/20809751.11.11
- By:
- Publication type:
- Article