2136 search results - page 193 / 428 » A Game-Theoretic Operational Semantics |
126
Voted
SIGMOD
2008
ACM
15 years 3 months ago
2008
ACM
The presence of encyclopedic Web sources, such as Wikipedia, the Internet Movie Database (IMDB), World Factbook, etc. calls for new querying techniques that are simple and yet mor...
127
click to vote
ENTCS
2002
15 years 3 months ago
2002
PLAN is a language designed for programming active networks, and can more generally be regarded as a model of mobile computation. PLAN generalizes the paradigm of imperative funct...
174
click to vote
COMSIS
2010
15 years 1 months ago
2010
Abstract. In this paper we present DOMMLite - an extensible domainspecific language (DSL) for static structure definition of databaseoriented applications. The model-driven enginee...
140
click to vote
SYNTHESE
2011
14 years 10 months ago
2011
We address the old question whether a logical understanding of Quantum Mechanics requires abandoning some of the principles of classical logic. Against Putnam and others1 , our an...
160
click to vote
CORR
2011
Springer
14 years 7 months ago
2011
Springer
We propose a new definition of the representation theorem for many-valued logics, with modal operators as well, and define the stronger relationship between algebraic models of ...