
Grail
 Referenced in 7 articles
[sw24229]
 Grail: An automated proof assistant for categorial grammar logics. The Grail system is a tool ... development and prototyping of grammar fragments for categorial logics. Grail is an automated theorem prover...

CatLog3
 Referenced in 3 articles
[sw29641]
 line Prolog parser/theoremprover for logical categorial grammar. In such logical categorial grammar syntax is universal ... grammar is reduced to logic: an expression is grammatical if and only if an associated ... logic of the calculus, logical categorial grammar is purely lexicalist and a particular language model...

CCGbank
 Referenced in 4 articles
[sw08022]
 Treebank into a corpus of combinatory categorial grammar (CCG) derivations augmented with local and long...

AspCcgTk
 Referenced in 1 article
[sw09896]
 AspCcgTk  the Answer Set Programming Combinatory Categorial Grammar Toolkit. AspCcgTk is a parser based ... Combinatory Categorial Grammar (CGC) developed using declarative programming paradigm  Answer Set Programming. It implements wide ... generic tool for encoding different CCG category and rule sets in a declarative and straightforward...

CDG LAB
 Referenced in 2 articles
[sw14626]
 grammars and treebanks. It uses the Categorial Dependency Grammars (CDG) as a formal model...

Coq
 Referenced in 1784 articles
[sw00161]
 Coq is a formal proof management system. It...

Grail
 Referenced in 19 articles
[sw00374]
 Grail is a symbolic computation environment for finite...

Maple
 Referenced in 5040 articles
[sw00545]
 The result of over 30 years of cutting...

Mathematica
 Referenced in 5883 articles
[sw00554]
 Almost any workflow involves computing results, and that...

Matlab
 Referenced in 12074 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

MiniSat
 Referenced in 531 articles
[sw00577]
 An extensible SATsolver. MiniSat is a minimalistic...

PLUMP
 Referenced in 14 articles
[sw00718]
 The joint CSCSETH/NEC collaboration in parallel...

SageMath
 Referenced in 1620 articles
[sw00825]
 Sage (SageMath) is free, opensource math software...

ML
 Referenced in 514 articles
[sw01218]
 ML (’Meta Language’) is a generalpurpose functional...

ALGOL 68
 Referenced in 291 articles
[sw01226]
 ALGOL 68 (short for ALGOrithmic Language 1968) is...

HiLog
 Referenced in 47 articles
[sw01580]
 HiLog: A foundation for higherorder logic programming...

ELAN
 Referenced in 108 articles
[sw02179]
 The ELAN system provides an environment for specifying...

DACTL
 Referenced in 28 articles
[sw02871]
 A generalized computational model based on graph rewriting...

PROGRES
 Referenced in 70 articles
[sw02905]
 Integrity constraints in the multiparadigm language PROGRES...