Search all the public and authenticated articles in CiteULike.
Enter a search phrase. You can also specify

a CiteULike article id (123456),

a DOI (doi:10.1234/12345678)

or a PubMed Id (pmid:12345678).

Click Help for advanced usage.

yoriyuki's theorem-proving [9 articles] Export

Recent papers added to yoriyuki's library classified by the tag theorem-proving. You can also see everyone's theorem-proving.

Hide details

	Towards a practical programming language based on dependent type theory. [My Copy] by Ulf Norell posted to agda programming-language theorem-proving by yoriyuki on 2009-03-03 05:45:11 as
	Verifying the SET registration protocols [My Copy] IEEE J. of Selected Areas in Communications, Vol. 21 (2003) by Giampaolo Bella, Fabio, Lawrence C. Paulson posted to copy formal-method security theorem-proving by yoriyuki on 2009-01-07 02:57:31 as
	A verified model checker for the modal -calculus in Coq [My Copy] In In TACAS, volume 1384 of LNCS (1998) by Christoph Sprenger posted to agdaspin model-checking theorem-proving by yoriyuki on 2009-01-07 01:38:23 as
	Testing and Proving in Dependent Type Theory [My Copy] by Qiao Haiyan posted to agdaspin model-checking theorem-proving by yoriyuki on 2009-01-06 11:03:04 as
	1 Implementing a Model Checker for LEGO [My Copy] by Shenwei Yu, Zhaohui Luo posted to agdaspin copy model-checking print theorem-proving by yoriyuki on 2008-12-22 02:35:47 as
	The Stanford Temporal Prover (STeP) [My Copy] posted to agdaspin model-checking theorem-proving by yoriyuki on 2008-10-14 07:02:37 as
	Routing Information Protocol in HOL/SPIN [My Copy] In TPHOLs '00: Proceedings of the 13th International Conference on Theorem Proving in Higher Order Logics (2000), pp. 53-72. by Karthikeyan Bhargavan, Carl A. Gunter, Davor Obradovic posted to agdaspin copy model-checking print spin theorem-proving by yoriyuki on 2008-10-07 06:26:29 as
	Compositional Reasoning in Model Checking [My Copy] Lecture Notes in Computer Science, Vol. 1536 (1998), pp. 81-102. by Sergey Berezin, Sérgio Campos, Edmund M. Clarke posted to copy model-checking theorem-proving by yoriyuki on 2008-07-17 04:01:21 as along with 1 person msakai
	Verifying the SET registration protocols [My Copy] Selected Areas in Communications, IEEE Journal on In Selected Areas in Communications, IEEE Journal on, Vol. 21, No. 1. (2003), pp. 77-87. by G. Bella, F. Massacci, L. C. Paulson posted to copy formal-method network security theorem-proving by yoriyuki on 2008-07-01 03:20:41 as

Note: You may cite this page as: http://www.citeulike.org/user/yoriyuki/tag/theorem-proving

CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.

copy	52
model-checking	27
print	16
bounded-arithmetic	15
security	15
agdaspin	13
complexity	10
lambda-calculus	10
network	10
formal-method	9
set-theory	9
theorem-proving	9
type-theory	9
java	7
assume-gurantee-reasoning	6
classical-logic	6
control-operator	6
implicit-complexity	6
constructive-mathematics	5
library	5
model-checkingspin	5
pki	5
presburger-arithmetic	5
spin	5
ssl	5
agda	4
automata	4
functional-programming	4
game-semantics	4
mypaper	4
proof-theoretical-semantics	4
quantum-computing	4
design-pattern	3
philosophy	3
truth-theory	3
category	2
cps	2
cryptography	2
cs	2
cut-elimination	2
dynamics	2
economics	2
ethic	2
forcing	2
formal-semantics	2
free-logic	2
kripke-model	2
lambda-mu	2
learning-theory	2
linear-logic	2
modal-mu	2
nlp	2
nonstandard-analysis	2
normalization	2
ordinal-analysis	2
physics	2
pi-calculus	2
political-science	2
predicative-arithmetic	2
protocol	2
reverse-mathematics	2
tree-automata	2
vaguness	2
vpn	2
ai	1
algorithm	1
combinatorics	1
comprehension	1
concurrency	1
continuation	1
dependent-type	1
dialgebra	1
exact-real-arithmetic	1
fdr	1
haskell	1
history-of-logic	1
hoare-logic	1
incompletenss-theorem	1
information-theory	1
introduction-to-logic	1
intuitionism	1
lcm	1
linear_temporal_logic	1
message-passing	1
ml	1
mpi	1
muchnik-degree	1
natural-language	1
observational-equivalence	1
ontology	1
oop	1
optimization	1
overloading	1
parsing	1
philosophy-of-mathematics	1
philosophy-of-mind	1
p-np	1
poincare-conjecture	1
polymorphism	1
power-law	1
program-analysis	1
programming-language	1
program-semantics	1
proof-theory	1
quantum-mechanics	1
randomness	1
recommendation	1
reversible-computing	1
rewriting	1
ruby	1
semantics	1
situation-theory	1
software-engineering	1
term-rewriting	1
theorem-for-free	1
thermodynamics-of-computation	1
timed-automata	1
type-inference	1
weak	1
x509	1

yoriyuki's theorem-proving [9 articles] Export

yoriyuki's tags