Switch to: References

Add citations

You must login to add citations.
  1. Dynamic interpretations of constraint-based grammar formalisms.Lawrence S. Moss & David E. Johnson - 1995 - Journal of Logic, Language and Information 4 (1):61-79.
    We present a rendering of some common grammatical formalisms in terms of evolving algebras. Though our main concern in this paper is on constraint-based formalisms, we also discuss the more basic case of context-free grammars. Our aim throughout is to highlight the use of evolving algebras as a specification tool to obtain grammar formalisms.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  • Abstract State Machines: a unifying view of models of computation and of system design frameworks.Egon Börger - 2005 - Annals of Pure and Applied Logic 133 (1-3):149-171.
    We capture the principal models of computation and specification in the literature by a uniform set of transparent mathematical descriptions which—starting from scratch—provide the conceptual basis for a comparative study.1.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
    		•
  • Zooming in, zooming out.Patrick Blackburn & Maarten de Rijke - 1997 - Journal of Logic, Language and Information 6 (1):5-31.
    This is an exploratory paper about combining logics, combining theories and combining structures. Typically when one applies logic to such areas as computer science, artificial intelligence or linguistics, one encounters hybrid ontologies. The aim of this paper is to identify plausible strategies for coping with ontological richness.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations