
Grail
 Referenced in 5 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...

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 1487 articles
[sw00161]
 Coq is a formal proof management system. It...

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

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

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

MiniSat
 Referenced in 479 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 1236 articles
[sw00825]
 Sage (SageMath) is free, opensource math software...

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

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

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

ELAN
 Referenced in 100 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 68 articles
[sw02905]
 Integrity constraints in the multiparadigm language PROGRES...

SPIN
 Referenced in 665 articles
[sw03455]
 Spin is a popular opensource software tool...

Haskell
 Referenced in 722 articles
[sw03521]
 Haskell is a standardized, generalpurpose purely functional...