• CatLog3

  • Referenced in 3 articles [sw29641]
  • such logical categorial grammar syntax is universal and grammar is reduced to logic: an expression ... logic of the calculus, logical categorial grammar is purely lexicalist and a particular language model ... order quantifiers, normal modalities, bracket modalities, and universal and existential subexponentials. In this paper...
  • Succinct

  • Referenced in 5 articles [sw09703]
  • tree grammars; they differ in fine details about the demands on the universe...
  • LKB

  • Referenced in 7 articles [sw20948]
  • grammar engineering in the case of computational grammars) forms the basis of natural language processing ... system was developed at the University of Cambridge Computer Laboratory as a tool for building...
  • PPG

  • Referenced in 2 articles [sw24320]
  • ability to extend an existing base language grammar written in CUP or PPG with localized ... Myers, and Chinawat Isradisaikul at Cornell University. It is distributed as part of the Polyglot...
  • LogiMOO

  • Referenced in 8 articles [sw01573]
  • English interface written in terms of assumption grammars. Its language coverage is extensible in that ... English, with English-like representations as a universal interlingua...
  • CONSTRUCTOR

  • Referenced in 2 articles [sw02532]
  • natural language interface based on attribute grammar. The paper gives an overview of a natural ... Sciences in collaboration with the Attila József University, Szeged. The interface supports natural language communication...
  • ALT

  • Referenced in 1 article [sw29385]
  • implementations of various types of automata, grammars, and other common structires along with mathematical implementation ... Faculty of Information Technology of Czech Technical University in Prague. It supposed...
  • x.ent

  • Referenced in 0 articles [sw17893]
  • grammars are defined and compiled with the tool Unitex, a tool developed by University Paris...
  • SiPaViS

  • Referenced in 1 article [sw00869]
  • designed and implemented at the New University of Lisbon are presented. Along with particles, fields ... according to the rules of a given grammar and on the basis of the existent...
  • Coq

  • Referenced in 1758 articles [sw00161]
  • Coq is a formal proof management system. It...
  • Maple

  • Referenced in 4956 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

  • Referenced in 5756 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 11649 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • SageMath

  • Referenced in 1538 articles [sw00825]
  • Sage (SageMath) is free, open-source math software...
  • PRISM

  • Referenced in 397 articles [sw01186]
  • PRISM: Probabilistic symbolic model checker. In this paper...
  • ML

  • Referenced in 502 articles [sw01218]
  • ML (’Meta Language’) is a general-purpose functional...
  • Modula

  • Referenced in 55 articles [sw01224]
  • The Modula programming language is a descendant of...
  • COBOL

  • Referenced in 227 articles [sw01228]
  • COBOL (/ˈkoʊbɒl/, an acronym for common business-oriented...
  • FreeFem++

  • Referenced in 963 articles [sw01436]
  • FreeFem++ is an implementation of a language dedicated...