3552 search results - page 344 / 711 » Proof theory in the abstract |
157
click to vote
JSC
2008
15 years 6 months ago
2008
Abstract. Flat theory with sequence variables and flexible arity symbols has infinitary matching and unification type. Decidability of general unification is shown and a unificatio...
172
click to vote
FSS
2007
15 years 6 months ago
2007
Abstract – In this paper two new concepts are introduced: the similarity and the (∗,δ)-equality of fuzzy choice functions. We investigate the manner the similarity and (∗,δ...
167
click to vote
FUIN
2007
15 years 6 months ago
2007
Abstract. We review the characterization of communicating finite-state machines whose behaviors have universally or existentially bounded channels. These results rely on the theor...
200
click to vote
CORR
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. We introduce a nonmonotonic framework for belief revision in which reasoning about the reliability of different pieces of information based on meta-knowledge about the in...
189
click to vote
SIAMAM
2000
15 years 6 months ago
2000
Abstract. A hydrodynamical model based on the theory of extended thermodynamics is presented for carrier transport in semiconductors. Closure relations for fluxes are obtained by e...