A Datalog Recognizer for Almost Affine λ-CFGs (Q3172825): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Uniqueness of normal proofs in implicational intuitionistic logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Game Semantics and Uniqueness of Type Inhabitance in the Simply-Typed λ-Calculus / rank
 
Normal rank
Property / cites work
 
Property / cites work: An extension of basic functionality theory for \(\lambda\)-calculus / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the membership problem for non-linear abstract categorial grammars / rank
 
Normal rank

Latest revision as of 12:38, 4 July 2024

scientific article
Language Label Description Also known as
English
A Datalog Recognizer for Almost Affine λ-CFGs
scientific article

    Statements

    A Datalog Recognizer for Almost Affine λ-CFGs (English)
    0 references
    0 references
    0 references
    7 October 2011
    0 references
    parsing
    0 references
    context-free \(\lambda \)-grammars
    0 references
    abstract categorial grammars
    0 references
    Datalog
    0 references
    deleting grammars
    0 references
    typing properties
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references