Views: 1
Language: UNKNOWN
Linear Logic for Generalized Quantum Mechanics
Linear Logic for Generalized Quantum Mechanics
Vaughan Pratt∗ Dept. of Computer Science Stanford University, CA 94305 ... more>>
Tags: quantum mechanics,
linear logic,
hilbert space,
quantum logic,
quantum theory,
the wave,
quantum states,
quantum computation,
physical system,
vaughan pratt,
state space,
computer science,
time evolution,
unitary operators,
quantum field theory
Views: 0
Language: English
What is a Logic
What is a Logic?
Till Mossakowski, Joseph Goguen, R˘zvan Diaconescu and Andrzej a Tarlecki
Mathematics Subject Classification (2000). Primary 03C95; ... more>>
Views: 48
Language:
Plans, Actions and Dialogues using Linear Logic
Plans, Actions and Dialogues using Linear Logic
Lucas Dixon, Alan Smaill, Tracy Tsang 13 Dec 2007
Lucas Dixon
Plans, Actions and Dialogues usin ... more>>
Tags: linear logic,
intuitionistic linear logic,
speech acts,
the action,
case studies,
deductive synthesis,
theorem proving,
artificial intelligence,
d. dissertation,
the user,
university of edinburgh,
alan smaill,
informatics report series,
developing countries,
agent interaction
Views: 0
Language: English
Views: 1
Language: English
Expressing Heap-shape Contracts in Linear Logic
Expressing Heap-shape Contracts in Linear Logic
Frances Perry Limin Jia David Walker
Princeton University {frances, ljia, ... more>>
Tags: linear logic,
david walker,
separation logic,
model checking,
programming language,
data structures,
product line,
princeton university,
program generation,
generative programming and component eng...,
type systems,
data structure,
assembly code,
eros system,
bank guarantees
Views: 0
Language: English
Thesis Proposal Reasoning about garbage collection in linear logic
Thesis Proposal Reasoning about garbage collection in linear logic
Aleksey Kliger April 24, 2008
Abstract In a certified code system, a code producer ... more>>
Tags: computer science,
programming languages,
garbage collection,
data structures,
garbage collector,
common lisp,
software development,
software engineering,
linear logic,
operating systems,
logical frameworks,
type system,
bunkyo-ku tokyo,
logic programming,
how to
Views: 0
Language: English
Views: 7
Language: English
The Logic Model
CIS 1097
for Program Planning and Evaluation
Paul F. McCawley Associate Director University of Idaho Extension
The Logic Model
Planning ... more>>
Categories:
Views: 10
Language: 0
Views: 1
Language: English