POSIX Lexing With Derivatives of Regular Expressions (Proof Pearl)

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-319-43144-4_5
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer International Publishing

Related search

Object Oriented Regular Expressions

2008English

Explanations for Regular Expressions

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Proof Pearl: The Termination Analysis of Terminator

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
English

Functional Pearl: The Proof Search Monad

English

Automatic Synthesis of Regular Expressions From Examples

Computer
Computer Science
2014English

Deciding Definability by Deterministic Regular Expressions

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

The Inclusion Problem for Regular Expressions

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Regular Path Expressions in Feature Logic

Journal of Symbolic Computation
Computational MathematicsNumber TheoryAlgebra
1994English

Regular Path Expressions in Feature Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1993English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy