1174 search results - page 50 / 235 » A Logical Approach to Abstract Algebra |
KI
1992
Springer
14 years 2 months ago
1992
Springer
Abstract. The purpose of this note is to present and evaluate the options available to a researcher wishing to use logic for representation, reasoning and computation in his applic...
TFM
2009
Springer
14 years 4 months ago
2009
Springer
action and Modelling - a complementary partnership” 10h30 – 11h 00 Coffee break 11h-12h30 Session 1 “Model Transformation: Foundations” Algebraic models for bidirectional m...
FSKD
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. The na
BIRTHDAY
2006
Springer
14 years 1 months ago
2006
Springer
The exogenous approach to enriching any given base logic for probabilistic and quantum reasoning is brought into the realm of institutions. The theory of institutions helps in capt...
ENTCS
2006
13 years 10 months ago
2006
This paper has the purpose of reviewing some of the established relationships between logic and concurrency, and of exploring new ones. Concurrent and distributed systems are noto...