Sciweavers

Share
IANDC
2010
132views more  IANDC 2010»
9 years 5 months ago
The expressive power of the shuffle product
There is an increasing interest in the shuffle product on formal languages, mainly because it is a standard tool for modeling process algebras. It still remains a mysterious opera...
Jean Berstel, Luc Boasson, Olivier Carton, Jean-Er...
IANDC
2010
115views more  IANDC 2010»
9 years 5 months ago
18th International Conference on Concurrency Theory
We consider message sequence charts enriched with timing constraints between pairs of events. As in the untimed setting, an infinite family of time-constrained message sequence cha...
Luís Caires, Vasco Thudichum Vasconcelos
IANDC
2010
95views more  IANDC 2010»
9 years 5 months ago
Structured anaphora to quantifier domains
The paper proposes a novel analysis of quantificational subordination, e.g. Harvey courts a woman at every convention. {She is very pretty. vs. She always comes to the banquet with...
Adrian Brasoveanu
IANDC
2010
121views more  IANDC 2010»
9 years 5 months ago
Curry-Howard for incomplete first-order logic derivations using one-and-a-half level terms
The Curry-Howard correspondence connects derivations in natural deduction with the lambdacalculus. Predicates are types, derivations are terms. This supports reasoning from assump...
Murdoch James Gabbay, Dominic P. Mulligan
IANDC
2010
113views more  IANDC 2010»
9 years 5 months ago
Numerical constraints on XML data
Sven Hartmann, Sebastian Link
IANDC
2010
78views more  IANDC 2010»
9 years 5 months ago
An efficient simulation algorithm based on abstract interpretation
Francesco Ranzato, Francesco Tapparo
IANDC
2010
87views more  IANDC 2010»
9 years 5 months ago
Effective symbolic dynamics, random points, statistical behavior, complexity and entropy
We consider the dynamical behavior of Martin-L
Stefano Galatolo, Mathieu Hoyrup, Cristobal Rojas
IALP
2010
9 years 5 months ago
A Method of Automatic Translation of Words of Multiple Affixes in Scientific Literature
Inflection and derivation have been the main ways of creating new words in English. With the development of science and technology, words as such appear faster than ever in scient...
Lei Wang, Baobao Chang, Janet Harkness
IALP
2010
9 years 5 months ago
A Proposed Model for Constructing a Yami WordNet
This paper describes an attempt to build a lexical database for the Yami language, an Austronesian endangered language. As the Yami language documentation and conservation project...
Meng-Chien Yang, D. Victoria Rau, Ann Hui-Huan Cha...
books