Electronic Notes in Theoretical Computer Science, Volume 53

Volume 53, 2001

• Carlos Areces, Raffaella Bernardi, Michael Moortgat:
  Galois Connections in Categorial Type Logic.
  
• Gilad Ben-Avi, Yoad Winter:
  A Characterization of Monotonicity with Collective Quantifiers.
  
• Guillaume Bonfante, Philippe de Groote:
  Stochastic Lambek Categorial Grammars.
  
• Pierre Boullier:
  From Contextual Grammars to Range Concatenation Grammars.
  
• Lukasz Debowski:
  A Revision of Coding Theory for Learning from Language.
  
• Denys Duchier:
  Lexicalized Syntax and Topology for Non-projective Dependency Grammar.
  
• Annie Foret:
  The emptiness of intersection problem for languages of k-valued categorial grammars (classical and Lambek) is undecidable.
  
• Sean A. Fulop:
  Learnability of type-logical grammars.
  
• Kim Gerdes:
  TAG and Topology - Problems and Proposals for German.
  
• Masami Ito, Carlos Martín-Vide, Victor Mitrana:
  Chomsky-Schu"tzenberger Type Characterizations of Poly-Slender and Parikh Slender Context-Free Languages.
  
• Stephan Kepser:
  On the Complexity of RSRL.
  
• Matthias T. Kromann:
  Optimality parsing and local cost functions in Discontinuous Grammar.
  
• Yves Lepage:
  Analogy and Formal Languages.
  
• Jens Michaelis:
  Observations on Strict Derivational Minimalism.
  
• Frank Morawietz, Uwe Mönnich:
  A Model-Theoretic Description of Tree Adjoining Grammars.
  
• Stefan Müller:
  An HPSG Analysis of German Depictive Secondary Predicates.
  
• Anne Neville, Patrizia Paggio:
  Developing a Danish grammar in the GRASP project - A construction-based approach to topology and extraction in Danish.
  
• Rainer Osswald:
  Classifying Classification.
  
• Adi Palm:
  Model Theoretic Syntax, Parsing: An Application to Temporal Logic.
  
• Gerald Penn:
  A Graph-Theoretic Approach to Sequent Derivability in the Lambek Calculus.
  
• Wiebke Petersen:
  A Set-Theoretical Approach for the Induction of Inheritance Hierarchies.
  
• Frank Richter, Manfred Sailer:
  Polish Negation and Lexical Resource Semantics.
  
• Balder ten Cate:
  The dynamics of information exchange dialogues.