• Refine your search:
  • 
    Keyword
  • 
    Creator / Publisher:
    
    • Backofen, Rolf (17)
    • Hoehndorf, Robert (7)
    • Lewin, Ian (7)
    • Rebholz-Schuhmann, Dietrich (7)
    • Dixit, Abhishek (5)
    • Friteyre, Caroline (5)
    • Kim, Jee-Hyub (5)
    • Yan, Ying (5)
    • Rogers, James (3)
    • Smolka, Gert (3)
    •   more
  • 
    Year
  • 
    Medium
  • 
    Type
  • 
    BLLDB-Access:
    • free (17)
    • subject to license (0)

Search in the Catalogues and Directories

All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year Sort by creator [A → Z]' creator [Z → A]' publishing year ↑ (asc)' publishing year ↓ (desc)' title [A → Z]' title [Z → A]' Simple Search Hits 1 – 17 of 17 1 Evaluation and Cross-Comparison of Lexical Entities of Biological Interest (LexEBI) ... Rebholz-Schuhmann, Dietrich; Kim, Jee-Hyub; Yan, Ying. - : Public Library of Science (PLoS), 2013 BASE Show details 2 Evaluation and Cross-Comparison of Lexical Entities of Biological Interest (LexEBI) Rebholz-Schuhmann, Dietrich; Kim, Jee-Hyub; Yan, Ying. - : Public Library of Science, 2013 BASE Show details 3 Evaluation and Cross-Comparison of Lexical Entities of Biological Interest (LexEBI) Rebholz-Schuhmann, Dietrich; Kim, Jee-Hyub; Yan, Ying... In: PLoS ONE. - 8, 10 (2013) , e75185, ISSN: 1932-6203 (2013) BASE Show details 4 Evaluation and cross-comparison of lexical entities of biological interest (LexEBI) Rebholz-Schuhmann, Dietrich; Kim, Jee-Hyub; Yan, Ying. - 2013 BASE Show details 5 Evaluating gold standard corpora against gene/protein tagging solutions and lexical resources Rebholz-Schuhmann, Dietrich; Kafkas, Senay; Kim, Jee-Hyub. - 2013 BASE Show details 6 Evaluating gold standard corpora against gene/protein tagging solutions and lexical resources Rebholz-Schuhmann, Dietrich; Kafkas, Senay; Kim, Jee-hyub... In: Rebholz-Schuhmann, Dietrich; Kafkas, Senay; Kim, Jee-hyub; Li, Chen; Yepes, Antonio Jimeno; Hoehndorf, Robert; Backofen, Rolf; Lewin, Ian (2013). Evaluating gold standard corpora against gene/protein tagging solutions and lexical resources. Journal of Biomedical Semantics, 4:28. (2013) BASE Show details 7 Evaluation and Cross-Comparison of Lexical Entities of Biological Interest (LexEBI) Rebholz-Schuhmann, Dietrich; Kim, Jee-hyub; Yan, Ying... In: Rebholz-Schuhmann, Dietrich; Kim, Jee-hyub; Yan, Ying; Dixit, Abhishek; Friteyre, Caroline; Hoehndorf, Robert; Backofen, Rolf; Lewin, Ian (2013). Evaluation and Cross-Comparison of Lexical Entities of Biological Interest (LexEBI). PLoS ONE, 8(10):e75185. (2013) BASE Show details 8 A First-Order Axiomatization of the Theory of Finite Trees Backofen, Rolf; Rogers, James; Vijay-Shanker, K In: Journal of logic, language and information. - Dordrecht [u.a.] : Kluwer 4 (1995) 1, 5-40 OLC Linguistik Show details 9 A first-order axiomatization of the theory of finite trees Backofen, Rolf; Rogers, James; Vijay-Shanker, K.. - 1995 BASE Show details 10 A First-Order Axiomatization of the Theory of Finite Trees Backofen, Rolf; Rogers, James; Vijay-Shanker, K. In: IRCS Technical Reports Series (1995) Abstract: We provide first-order axioms for the theories of finite trees with bounded branching and finite trees with arbitrary (finite) branching. The signature is chosen to express, in a natural way, those properties of trees most relevant to linguistic theories. These axioms provide a foundation for results in linguistics that are based on reasoning formally about such properties. We include some observations on the expressive power of these theories relative to traditional language complexity classes. Keyword: Axiomatizations; Ehrenfeucht-Fraisse Games; First-Order Theories; Natural Language Syntax; Trees URL: https://repository.upenn.edu/cgi/viewcontent.cgi?article=1119&context=ircs_reports https://repository.upenn.edu/ircs_reports/117 BASE Hide details 11 A Complete and Recursive Feature Theory ... Backofen, Rolf; Smolka, Gert. - : arXiv, 1994 BASE Show details 12 DISCO---An HPSG-based NLP System and its Application for Appointment Scheduling (Project Note) ... Uszkoreit, Hans; Backofen, Rolf; Busemann, Stephan. - : arXiv, 1994 BASE Show details 13 DISCO - an HPSG-based NLP system and its application for appointment scheduling Netter, Klaus; Krieger, Hans-Ulrich; Oepen, Stephan. - 1994 BASE Show details 14 A complete and recursive feature theory ... Backofen, Rolf; Smolka, Gert. - : Universität des Saarlandes, 1992 BASE Show details 15 A complete and recursive feature theory Backofen, Rolf; Smolka, Gert. - 1992 BASE Show details 16 Towards the integration of functions, relations and types in an AI programming language ... Backofen, Rolf; Euler, Lutz; Görz, Günther. - : Universität des Saarlandes, 1991 BASE Show details 17 Towards the integration of functions, relations and types in an AI programming language Backofen, Rolf; Euler, Lutz; Görz, Günther. - 1991 BASE Show details

Mobile view All Catalogues UB Frankfurt Linguistik 0 IDS Mannheim 0 OLC Linguistik 1 UB Frankfurt Retrokatalog 0 DNB Subject Category Language 0 Institut für Empirische Sprachwissenschaft 0 Leibniz-Centre General Linguistics (ZAS) 0 Bibliographies BLLDB 0 BDSL 0 IDS Bibliografie zur deutschen Grammatik 0 IDS Bibliografie zur Gesprächsforschung 0 IDS Konnektoren im Deutschen 0 IDS Präpositionen im Deutschen 0 IDS OBELEX meta 0 MPI-SHH Linguistics Collection 0 MPI for Psycholinguistics 0 Linked Open Data catalogues Annohub 0 Online resources Link directory 0 Journal directory 0 Database directory 0 Dictionary directory 0 Open access documents BASE 16 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0