Search results
From MaRDI portal
- 2010-04-27 Paper Learning Theory and Kernel Machines 2010-03-23 Paper Learning Theory and Kernel Machines 2010-03-23 Paper Learning Theory and Kernel Machines...10 bytes (16 words) - 02:54, 9 December 2023
- Systems 2010-11-11 Paper Using the Maude Term Rewriting Language for Agent Development with Formal Foundations 2010-11-11 Paper Using Rewrite Strategies...10 bytes (20 words) - 16:50, 9 December 2023
- Learning by erasing 2010-04-27 Paper Algorithmic Learning Theory 2010-02-23 Paper Formal language identification: query learning vs. gold-style learning 2009-07-21...10 bytes (17 words) - 04:33, 9 December 2023
- Paper EQ-algebras 2009-12-07 Paper A formal theory of intermediate quantifiers 2009-08-28 Paper A comprehensive theory of trichotomous evaluative linguistic...10 bytes (17 words) - 14:34, 10 December 2023
- Type Testing can be formal, too 2022-08-18 Paper Structuring and modularizing algebraic specifications: the PLUSS specification language, evolutions and perspectives...10 bytes (19 words) - 14:58, 8 December 2023
- mardi4nfdi.de/entity/Q3606478 2009-02-26 Paper Well Quasi-orders in Formal Language Theory 2008-10-30 Paper The Synchronization Problem for Strongly Transitive...10 bytes (16 words) - 02:10, 12 December 2023
- noise-tolerant language learners 2001-08-20 Paper Team learning of computable languages 2000-09-05 Paper Ordinal mind change complexity of language identification...10 bytes (17 words) - 04:35, 9 December 2023
- Monoids, Congruences, and Formal Languages 2019-02-08 Paper Errata to "Formations of Monoids, Congruences, and Formal Languages" 2019-02-08 Paper Newton...10 bytes (23 words) - 00:56, 10 December 2023
- centralizer of a language 2007-04-10 Paper Developments in Language Theory 2006-06-23 Paper On computing the coefficients of bivariate holonomic formal series 2006-01-10...10 bytes (16 words) - 22:33, 10 December 2023
- 1975-01-01 Paper Consistent and complementary formal theories of the semantics of programming languages 1974-01-01 Paper...10 bytes (18 words) - 09:29, 13 December 2023
- straightedge and compass constructions in type theory 2019-05-16 Paper On Building Constructive Formal Theories of Computation Noting the Roles of Turing,...10 bytes (19 words) - 18:41, 11 December 2023
- Paper On the Formalization of Some Results of Context-Free Language Theory 2016-09-09 Paper Formal verification of side-channel countermeasures using self-composition...10 bytes (18 words) - 08:06, 13 December 2023
- about computing 2009-01-21 Paper Applications and Theory of Petri Nets 2005 2005-12-14 Paper Formal Methods for Components and Objects 2005-08-22 Paper...10 bytes (19 words) - 01:32, 9 December 2023
- 2011-04-18 Paper Numeration Systems: A Link between Number Theory and Formal Language Theory 2010-08-31 Paper On the Periodicity of Morphic Words 2010-08-31...10 bytes (17 words) - 09:57, 8 December 2023
- verification of alternating systems 2008-08-21 Paper The Reaction Algebra: A Formal Language for Event Correlation 2008-03-25 Paper Constructing invariants for hybrid...10 bytes (18 words) - 00:45, 13 December 2023
- approach 2015-05-18 Paper A bialgebraic approach to automata and formal language theory 2012-04-10 Paper A New Algorithm for Linear and Integer Feasibility...10 bytes (16 words) - 07:38, 7 October 2023
- 2014-01-10 Paper Formal Techniques for Networked and Distributed Systems - FORTE 2005 2006-07-07 Paper Developments in Language Theory 2006-06-23 Paper...10 bytes (16 words) - 16:53, 12 December 2023
- 2010-10-26 Paper Formal Methods at the Crossroads. From Panacea to Foundational Support 2010-03-30 Paper The Orc Programming Language 2009-06-26 Paper...10 bytes (16 words) - 14:29, 28 January 2024
- 2008-06-19 Paper Theory and Applications of Models of Computation 2007-04-30 Paper https://portal.mardi4nfdi.de/entity/Q3429229 2007-03-30 Paper Formal derivation...10 bytes (17 words) - 11:33, 11 December 2023
- personalization on the Web 2001-11-15 Paper A formal basis for an abbreviated concept-based query language 2000-12-12 Paper https://portal.mardi4nfdi.de/entity/Q4855372...10 bytes (18 words) - 04:49, 9 December 2023
