-
2
-
-
77955017129
-
PGF: A portable run-time format for type-theoretical grammars
-
submitted. URL
-
Krasimir Angelov, Björn Bringert, and Aarne Ranta. 2008. PGF: A Portable Run-Time Format for Type-Theoretical Grammars. Journal of Logic, Language and Information, submitted. URL http://www.cs.chalmers.se/~bringert/ publ/pgf/pgf.pdf.
-
(2008)
Journal of Logic, Language and Information
-
-
Angelov, K.1
Bringert, B.2
Ranta, A.3
-
4
-
-
84891598442
-
-
URL
-
URL http://attempto.ifi.uzh.ch/site/.
-
-
-
-
6
-
-
56749124985
-
New techniques that improve MACE-style model finding
-
URL
-
Koen Claessen and Niklas Sörensson. 2003. New Techniques that Improve MACE-style Model Finding. In Workshop on Model Computation (MODEL). URL http://www.cs.chalmers.se/-koen/pubs/model-paradox.ps.
-
(2003)
Workshop on Model Computation (MODEL)
-
-
Claessen, K.1
Sörensson, N.2
-
7
-
-
36949039971
-
The application/json media type for JavaScript object notation (JSON)
-
URL
-
Douglas Crockford. 2006. The application/json Media Type for JavaScript Object Notation (JSON). RFC 4627 (Informational). URL http://www.ietf.org/rfc/ rfc4627.txt.
-
(2006)
RFC 4627 (Informational)
-
-
Crockford, D.1
-
8
-
-
49949107603
-
CLOnE: Controlled language for ontology editing
-
Busan, Korea
-
Adam Funk, Valentin Tablan, Kalina Bontcheva, Hamish Cunningham, Brian Davis, and Siegfried Handschuh. 2007. CLOnE: Controlled Language for Ontology Editing. In Proceedings of the International Semantic Web Conference (ISWC 2007). Busan, Korea.
-
(2007)
Proceedings of the International Semantic Web Conference (ISWC 2007)
-
-
Funk, A.1
Tablan, V.2
Bontcheva, K.3
Cunningham, H.4
Davis, B.5
Handschuh, S.6
-
11
-
-
1142267381
-
Grammatical framework: A type-theoretical grammar formalism
-
URL http://dx.doi.org/10.1017/S0956796803004738
-
Aarne Ranta. 2004. Grammatical Framework: A Type-Theoretical Grammar Formalism. Journal of Functional Programming, 14(2): 145-189. URL http://dx.doi.org/10.1017/S0956796803004738.
-
(2004)
Journal of Functional Programming
, vol.14
, Issue.2
, pp. 145-189
-
-
Ranta, A.1
-
12
-
-
34548680760
-
Modular grammar engineering in GF
-
URL http://dx.doi.org/10.1007/slll68-007-9030-6
-
Aarne Ranta. 2007. Modular Grammar Engineering in GF. Research on Language and Computation, 5(2): 133-158. URL http://dx.doi.org/10.1007/slll68- 007-9030-6.
-
(2007)
Research on Language and Computation
, vol.5
, Issue.2
, pp. 133-158
-
-
Ranta, A.1
-
13
-
-
0026419167
-
On multiple context-free grammars
-
URL http://dx.doi.org/10.1016/0304-3975(91)90374-B
-
Hiroyuki Seki, Takashi Matsumura, Mamoru Fujii, and Tadao Kasami. 1991. On multiple context-free grammars. Theoretical Computer Science, 88(2): 191-229. URL http://dx.doi.org/10.1016/0304-3975(91)90374-B.
-
(1991)
Theoretical Computer Science
, vol.88
, Issue.2
, pp. 191-229
-
-
Seki, H.1
Matsumura, T.2
Fujii, M.3
Kasami, T.4
|