Axiomatic - PDFSEARCH.IO - Document Search Engine

Axiomatic
Results: 189

#	Item
61	Axiomatic and Tableau-Based Reasoning for Kt(H,R) Renate A. Schmidt 1 School of Computer Science University of Manchester, Manchester, UK Add to Reading List Source URL: www.aiml.net Language: English - Date: 2014-09-20 05:24:50
62	Local Actions for a Curry-style Operational Semantics ∗ Gordon Stewart Andrew W. Appel Princeton University, Princeton, NJ, USA Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2010-11-22 11:49:24 Logic Theoretical computer science Logic in computer science Mathematical logic Programming language semantics Philosophical logic Non-classical logic Operational semantics Semantics Kripke semantics Modal logic Axiomatic semantics
63	Axiomatic definition of the topological entropy on the interval Ll. Alsed`a, S. Kolyada, J. Llibre and Lˇ. Snoha February 7, 2002 Abstract The aim of this paper is to give an axiomatic definition of the Add to Reading List Source URL: www.imath.kiev.ua Language: English - Date: 2002-02-07 06:09:23 Mathematics Topology Algebra General topology Topological dynamics Algebraic topology Ergodic theory Topological entropy Topological space Ring Continuous function Semi-continuity
64	The Axiomatic Translation Principle for Modal Logic RENATE A. SCHMIDT University of Manchester and ULLRICH HUSTADT Add to Reading List Source URL: project.kjsmith.net Language: English - Date: 2008-03-22 07:19:03
65	10. Appendix. A. Project web site at http://project.kjsmith.net/index.html. Downloads for project in Axiomatic Translation of Modal LogicManchester. 1. On-line interface for SPASS with Axiomatic Translation - Try Add to Reading List Source URL: project.kjsmith.net Language: English - Date: 2008-09-02 15:24:25
66	An Axiomatic Approach to Algebrization Russell Impagliazzo∗ Valentine Kabanets† Antonina Kolokolova‡ Add to Reading List Source URL: www.cs.mun.ca Language: English - Date: 2009-10-26 17:21:04
67	CS256: Programming Languages and Semantics Introduction to Axiomatic Semantics http://www.eecs.harvard.edu/~ greg/cs256sp2006/ Greg Morrisett Add to Reading List Source URL: www.eecs.harvard.edu Language: English - Date: 2006-02-15 10:45:17
68	A Practical Logic Framework for Verifying Safety Properties of Executables Lu Zhao Guodong Li Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2011-08-02 14:55:47 Mathematics Hoare logic Separation logic Axiomatic semantics Assertion Postcondition Precondition Judgment Rust Theoretical computer science Logic in computer science Mathematical logic
69	Automated Recognition of Axiomatic Theories FroCoS 2013 Guillaume Burel, Simon Cruanes ´ ´ ENSIIE/C´ Add to Reading List Source URL: cedeela.fr Language: English - Date: 2014-07-09 05:07:47
70	An Axiomatic Approach to Choice under Uncertainty with Catastrophic Risks Gnectgt,.A.CHicHILNISKY* Add to Reading List Source URL: chichilnisky.com Language: English - Date: 2013-05-16 18:12:10 Algebraic structures Abstract algebra Decision theory Game theory Utility Expected utility hypothesis Von Neumann algebra S Ring Mathematics Algebra Mathematical structures

UPDATE