4353 search results - page 93 / 871 » Expressiveness of Process Algebras |
142
click to vote
ICALP
2001
Springer
15 years 8 months ago
2001
Springer
We present a logical framework Υ for reasoning on a very general class of languages featuring binding operators, called nominal , presented in higher-order abstract syntax (HOAS)....
139
Voted
DAGSTUHL
1996
15 years 5 months ago
1996
Abstract. Two-level -calculi have been heavily utilised for applications such as partial evaluation, abstract interpretation and code generation. Each of these applications pose di...
204
Voted
SIGMOD
2006
ACM
16 years 4 months ago
2006
ACM
Consider an XML view defined over a relational database, and a user query specified over this view. This user XML query is typically processed using the following steps: (a) our t...
163
click to vote
CALCO
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We use coalgebraic methods to describe finitely generated free Heyting algebras. Heyting algebras are axiomatized by rank 0-1 axioms. In the process of constructing free...
143
click to vote
ICIP
2006
IEEE
16 years 5 months ago
2006
IEEE
The autofocus problem in synthetic aperture radar (SAR) is considered, where phase errors in the acquired signal data result in imagery that is improperly focused. We present a ne...