2685 search results - page 143 / 537 » A Formal Semantics for SPKI |
162
click to vote
TYPES
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We propose syntax and semantics for systems of intuitionistic and classical first order dependently sorted logic, with and withlity, retaining type dependency, but other...
156
click to vote
SYNASC
2005
IEEE
16 years 13 days ago
2005
IEEE
— A framework that describes the evolution of P systems with bounded parallelism is defined by introducing basic formal features that can be then integrated into a structural op...
204
click to vote
ICCS
2005
Springer
16 years 12 days ago
2005
Springer
After noting that informal documents and formal knowledge bases are far from ideal for discussing or retrieving technical knowledge, we propose mechanisms to support the sharing, r...
154
click to vote
LPNMR
2005
Springer
16 years 11 days ago
2005
Springer
ID-logic uses ideas from the field of logic programming to extend second order logic with non-monotone inductive defintions. In this work, we reformulate the semantics of this lo...
180
click to vote
CODES
2002
IEEE
15 years 12 months ago
2002
IEEE
We introduce a new kernel language for modeling hardware/software systems, adopting multiple heterogenous models of computation. The language has formal operational semantics, and...