메뉴 건너뛰기




Volumn , Issue , 2009, Pages 9-12

Grammatical framework web service

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; FORMAL LANGUAGES; WEBSITES;

EID: 84863918204     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.3115/1609049.1609052     Document Type: Conference Paper
Times cited : (8)

References (14)
  • 2
    • 77955017129 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • URL
    • URL http://attempto.ifi.uzh.ch/site/.
  • 6
    • 56749124985 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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
  • 11
    • 1142267381 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.