1679 search results - page 125 / 336 » Strong order equivalence |
149
Voted
ENDM
2007
15 years 5 months ago
2007
This paper initiates a study of the connection between graph homomorphisms and the Tutte polynomial. This connection enables us to extend the study to other important polynomial i...
135
Voted
JNCA
2007
15 years 5 months ago
2007
Composite web services are defined using the industry-standard language BPEL (Business Process Execution Logic). There is a strong need for graphical and automated support for th...
167
click to vote
ENTCS
2002
15 years 5 months ago
2002
This paper presents a step in the development of an operational approach to program extraction in type theory. In order to get a program from a lambda term, the logical parts need...
145
Voted
ACL
2009
15 years 3 months ago
2009
We investigate the influence of information status (IS) on constituent order in German, and integrate our findings into a loglinear surface realisation ranking model. We show that...
156
click to vote
TAMC
2010
Springer
15 years 10 months ago
2010
Springer
We study possible formulations of algebraic propositional proof systems operating with noncommutative formulas. We observe that a simple formulation gives rise to systems at least ...