Search results
From MaRDI portal
- suffix-free languages 2018-03-21 Paper Quotient complexity of closed languages 2017-11-07 Paper Complexity of suffix-free regular languages 2017-09-07 Paper...10 bytes (19 words) - 23:55, 11 December 2023
- Exploiting Value Domains 2015-02-04 Paper Behavioral interface specification languages 2014-08-13 Paper Collaborative Verification and Testing with Explicit...10 bytes (18 words) - 20:28, 9 December 2023
- Associative definition of programming languages 2001-11-08 Paper Tree adjoining languages and multipushdown languages 2000-12-07 Paper https://portal.mardi4nfdi...10 bytes (19 words) - 18:15, 9 December 2023
- Date of Publication Type Data type specification 2014-03-14 Paper Parameter passing in algebraic specification languages 1984-01-01 Paper Recursion and iteration...10 bytes (18 words) - 22:54, 12 December 2023
- Correctness of Natural Mergesort 2017-07-12 Paper Behavioral interface specification languages 2014-08-13 Paper Automating Theorem Proving with SMT 2013-08-07...10 bytes (20 words) - 14:45, 12 December 2023
- Data type specification 2014-03-14 Paper https://portal.mardi4nfdi.de/entity/Q3777431 1985-01-01 Paper Parameter passing in algebraic specification languages...10 bytes (18 words) - 23:47, 12 December 2023
- Logic Definability of Free Languages 2015-10-20 Paper Locally Chain-Parsable Languages 2015-09-16 Paper Operator Precedence Languages: Their Automata-Theoretic...10 bytes (17 words) - 05:39, 12 December 2023
- Paper Transformation of a language \(L^\ast\) specification of an FSM into an automata equivalent specification in the language \(L\) 2014-06-05 Paper On...10 bytes (18 words) - 03:25, 9 December 2023
- regular languages. 2004-03-14 Paper Growth-sensitivity of context-free languages. 2004-03-14 Paper Growth and ergodicity of context-free languages 2002-10-07...10 bytes (21 words) - 17:28, 9 December 2023
- incremental and aspect-oriented modeling 2020-12-04 Paper On Horizontal Specification Architectures and Their Aspect-Oriented Implementations 2009-06-26 Paper...10 bytes (18 words) - 16:54, 12 December 2023
- Publication Date of Publication Type Algebraic specification techniques in object oriented programming environments 2014-08-14 Paper Self-similar hex-sums...10 bytes (16 words) - 18:45, 11 December 2023
- generation of words in regular languages 2014-01-10 Paper Testing for refinement in \textsf{Circus} 2012-03-23 Paper Specification Coverage for Testing in Circus...10 bytes (19 words) - 14:58, 8 December 2023
- artifacts 2017-05-26 Paper Highly expressive query languages for unordered data trees 2016-04-18 Paper Specification and verification of data-driven Web applications...10 bytes (17 words) - 01:39, 10 December 2023
- 1992-06-26 Paper Semantical analysis of specification logic 1990-01-01 Paper Elementary data structures in ALGOL-like languages 1989-01-01 Paper A note on undefined...10 bytes (18 words) - 21:23, 11 December 2023
- de/entity/Q3777431 1985-01-01 Paper Parameter passing in algebraic specification languages 1984-01-01 Paper Recursion and iteration in continuous theories:...10 bytes (18 words) - 09:40, 12 December 2023
- Logic 2011-03-04 Paper Programming Language Description Languages 2010-04-23 Paper VDM Semantics of Programming Languages: Combinators and Monads 2008-09-25...10 bytes (19 words) - 04:54, 12 December 2023
- mardi4nfdi.de/entity/Q4250673 1999-06-17 Paper Expressive power of specification languages 1999-01-03 Paper https://portal.mardi4nfdi.de/entity/Q4370272 1998-06-01...10 bytes (18 words) - 14:34, 8 December 2023
- deep-learning-based predictive monitoring 2024-02-12 Paper Symbolic specification and verification of data-aware BPMN processes using rewriting modulo...10 bytes (17 words) - 11:55, 11 December 2023
- within domain specific languages: a solution for verifying railway scheme plans 2014-11-26 Paper Designing Domain Specific Languages – A Craftsman’s Approach...10 bytes (16 words) - 21:56, 10 December 2023
- Paper Algebraic and functional specification of an interactive serializable database interface 1992-09-27 Paper Specification and design of shared resource...10 bytes (17 words) - 08:16, 9 December 2023
