yoriyuki's library 187 articles Export

	Collapsing Recursive Oracles for Relativized Polynomial Hierarchies [My Copy] Fundamentals of Computation Theory (2005), pp. 149-160. by Tomoyuki Yamakami posted to p-np complexity by yoriyuki on 2009-11-16 03:50:19 as
	Atomic Cut Elimination for Classical Logic [My Copy] Computer Science Logic (2003), pp. 86-97. by Kai Brünnler posted to cut-elimination classical-logic by yoriyuki on 2009-11-12 15:30:56 as
	Open problems in rewriting [My Copy] Rewriting Techniques and Applications (1991), pp. 445-456. by Nachum Dershowitz, Jean-Pierre Jouannaud, Jan Klop posted to rewriting normalization by yoriyuki on 2009-11-11 08:12:37 as
	Do we Need Dependent Types? [My Copy] posted to dependent-type by yoriyuki on 2009-03-26 14:11:46 as along with 2 people msakai shimomura
	無資源国の経済学―新しい経済学入門 (岩波全書セレクション) [My Copy] by Michio Morishima posted to economics by yoriyuki on 2009-03-24 12:32:41 as along with 1 person hubris
	Limiting Recursion [My Copy] The Journal of Symbolic Logic, Vol. 30, No. 1. (1965), pp. 28-48. by Mark E. Gold posted to lcm by yoriyuki on 2009-03-24 12:31:31 as along with 1 person hubris
	THE K-DEGREES, LOW FOR K DEGREES, AND WEAKLY LOW FOR K SETS [My Copy] by Joseph S. Miller posted to randomness by yoriyuki on 2009-03-22 14:56:05 as
	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
	Some fundamental issues concerning degrees of unsolvability [My Copy] by Stephen G. Simpson posted to muchnik-degree by yoriyuki on 2009-03-02 11:11:45 as
	Dialgebraic Specication and Modeling [My Copy] by Peter Padawitz posted to dialgebra by yoriyuki on 2009-03-02 07:39:15 as along with 1 person msakai
	The Pareto, Zipf and other power laws [My Copy] Economics Letters, Vol. 74, No. 1. (20 December 2001), pp. 15-19. by W. Reed posted to economics power-law by yoriyuki on 2009-02-27 16:49:21 as along with 1 person hubris
	Extremal Combinatorics [My Copy] (13 June 2001) by Stasys Jukna posted to combinatorics complexity by yoriyuki on 2009-02-27 16:46:13 as along with 3 people Scis0000002 joeionnojitsu BarrosH
	強制法入門・応用・最前線 [My Copy] by 薄葉季路 posted to forcing set-theory by yoriyuki on 2009-02-25 15:17:11 as
	WEB+DB PRESS Vol. 49にレコメンデーションの解説記事を書きました - 射撃しつつ前転 [My Copy] posted to recommendation by yoriyuki on 2009-02-17 13:16:12 as
	楽曲構造束とその上の演算系 [My Copy] by 平田圭二, 東条敏 posted to ai by yoriyuki on 2009-02-17 11:23:44 as along with 1 person esak
	Semantic Innocence and Uncompromising Situations [My Copy] Midwest Studies In Philosophy, Vol. 6, No. 1. (1981), pp. 387-404. by J. O. N. Barwise, J. O. H. N. Perry posted to situation-theory by yoriyuki on 2009-02-17 07:04:50 as
	Reference counting as a computational interpretation of linear logic [My Copy] Journal of Functional Programming, Vol. 6, No. 02. (1996), pp. 195-244. by Jawahar Chirimar, Carl A. Gunter, Jon G. Riecke posted to linear-logic by yoriyuki on 2009-02-17 02:52:23 as along with 1 person msakai
	統治と功利 [My Copy] (30 May 2007) by 安藤 posted to ethic political-science by yoriyuki on 2009-02-07 13:53:35 as
	あなたは「生の計算」ができるか──市民的徳と統治 [My Copy] 講談社BOOK倶楽部：別冊「本」　RATIO　０６号 by 安藤馨　 posted to ethic political-science by yoriyuki on 2009-02-07 13:51:47 as
	The Strong Free Will Theorem « Antimeta [My Copy] posted to philosophy-of-mind quantum-mechanics by yoriyuki on 2009-02-07 12:03:06 as
	Principles of Program Analysis [My Copy] (07 December 2004) by Flemming Nielson, Hanne R. Nielson, Chris Hankin posted to program-analysis by yoriyuki on 2009-02-06 14:30:27 as along with 6 people dimvar streetlightios michaelbanks marcinzalewski andymaule srccheck
	Semantics with Applications: An Appetizer (Undergraduate Topics in Computer Science) [My Copy] (28 March 2007) by Hanne R. Nielson, Flemming Nielson posted to program-semantics by yoriyuki on 2009-02-06 14:27:44 as along with 2 people robotact leonardo
	Set Theories with Urelements [My Copy] (2006) by Kevin C. Klement posted to set-theory by yoriyuki on 2009-02-06 12:19:21 as along with 1 person msakai
	要求仕様の形式的記述 Software 技術はここに始まり，ここに窮まる [My Copy] by 柳生孝昭 posted to formal-method software-engineering by yoriyuki on 2009-02-05 15:46:14 as
	CONCEPTUAL STRUCTURALISM AND THE CONTINUUM [My Copy] by Solomon Feferman posted to philosophy-of-mathematics set-theory by yoriyuki on 2009-02-02 13:05:02 as along with 1 person msakai
	記号が制限された古典/直観主義２階命題論理について [My Copy] by わ posted to classical-logic intuitionism by yoriyuki on 2009-02-02 12:52:15 as along with 1 person msakai
	Continuations in Natural Language [My Copy] by Chris Barker posted to continuation control-operator formal-semantics natural-language semantics by yoriyuki on 2009-01-28 14:05:43 as
	A Higher-Order, Call-By-Value Applied Pi-Calculus [My Copy] by Nobuyuki Sato, Eijiro Sumii posted to pi-calculus by yoriyuki on 2009-01-28 11:48:20 as
	A Complete Characterization of Observational Equivalence in Polymorphic ¸-Calculus with General References (Draft as of 3:37, January 20, 2009 JST) [My Copy] by Eijiro Sumii posted to lambda-calculus observational-equivalence by yoriyuki on 2009-01-28 11:47:00 as along with 1 person msakai
	Lectures on the Ricci Flow (London Mathematical Society Lecture Note Series) [My Copy] (06 November 2006) by Peter Topping posted to poincare-conjecture by yoriyuki on 2009-01-28 06:27:14 as along with 1 person NitinCR
	Basic readings in Formal Semantics and Pragmatics [My Copy] by Wkolja posted to formal-semantics philosophy by yoriyuki on 2009-01-25 03:25:55 as
	The Arithmetic Hierarchy, Parikh's Theorem and Related Matters [My Copy] by Juliette Kennedy posted to bounded-arithmetic truth-theory by yoriyuki on 2009-01-22 15:09:04 as
	Much Ado about Two: A Pearl on Parallel Prefix Computation [My Copy] SIGPLAN Notices In 35th Symposium on Principles of Programming Languages, Proceedings, Vol. 43, No. 1. (January 2008), pp. 29-35. by Janis Voigtländer edited by Philip Wadler posted to theorem-for-free by yoriyuki on 2009-01-07 11:46:00 as along with 3 people keigoi msakai voigt
	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
	Automated analysis of cryptographic protocols using Murφ [My Copy] Security and Privacy, 1997. Proceedings., 1997 IEEE Symposium on In Security and Privacy, 1997. Proceedings., 1997 IEEE Symposium on (1997), pp. 141-151. by J. C. Mitchell, M. Mitchell, U. Stern posted to copy cryptography model-checking security by yoriyuki on 2009-01-07 02:50:57 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
	"Naive abstraction and truth" (A. Cantini) - あいまいな本日の私 [My Copy] posted to comprehension set-theory by yoriyuki on 2009-01-06 10:57:15 as
	The strength of extensionality I — weak weak set theories with infinity [My Copy] Annals of Pure and Applied Logic (11 November 2008) by K. Sato posted to proof-theory set-theory by yoriyuki on 2009-01-05 14:04:11 as along with 1 person hubris
	Confidence Weighted Linear Classificationを読んだ - 射撃しつつ前転 [My Copy] posted to learning-theory nlp by yoriyuki on 2009-01-01 17:29:21 as
	An Application of Category-Theoretic Semantics to the Characterisation of Complexity Classes Using Higher-orfer function algebras [My Copy] by Martin Hofmann posted to bounded-arithmetic implicit-complexity by yoriyuki on 2008-12-24 11:48:10 as along with 1 person msakai
	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
	circularity & paradox [My Copy] by Stephen Yablo posted to truth-theory by yoriyuki on 2008-11-14 21:33:04 as along with 1 person msakai
	Monist, 2006; 89 (1) [My Copy] posted to truth-theory by yoriyuki on 2008-11-14 21:28:32 as
	Compositional reasoning in model checking [My Copy] In In Proc. COMPOS (1998), pp. 81-102. by Sergey Berezin, Sergio Campos, Edmund M. Clarke posted to agdaspin assume-gurantee-reasoning model-checking by yoriyuki on 2008-11-07 03:34:50 as along with 1 person sgwyj
	Combining Model Checkning and Theorem Proving: A Unified Framework [My Copy] by Sergey Berezin posted to agdaspin model-checking by yoriyuki on 2008-10-28 08:57:18 as along with 1 person msakai
	Proof rules for automated compositional verification through learning [My Copy] In In Proc. SAVCBS Workshop (2003), pp. 14-21. by Howard Barringer posted to agdaspin assume-gurantee-reasoning copy model-checking by yoriyuki on 2008-10-27 08:27:47 as
	Robust Software Engineering : Publications :: Verification & Validation [My Copy] posted to agdaspin assume-gurantee-reasoning model-checking by yoriyuki on 2008-10-27 08:12:16 as
	Towards a Compositional SPIN [My Copy] by Corina S. Păsăreanu, Dimitra Ginnakopoulou posted to agdaspin assume-gurantee-reasoning model-checking model-checkingspin by yoriyuki on 2008-10-27 08:06:24 as
	v-Promela: a visual, object-oriented language for SPIN [My Copy] Object-Oriented Real-Time Distributed Computing, 1999. (ISORC '99) Proceedings. 2nd IEEE International Symposium on In Object-Oriented Real-Time Distributed Computing, 1999. (ISORC '99) Proceedings. 2nd IEEE International Symposium on (06 August 2002), pp. 14-23. by S. Leue, G. Holzmann posted to model-checking model-checkingspin by yoriyuki on 2008-10-27 08:01:30 as along with 1 person zhensong

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

Result page: 1 2 3 4 Next

copy	52
model-checking	27
print	16
bounded-arithmetic	15
security	15
agdaspin	13
complexity	10
lambda-calculus	10
network	10
set-theory	9
theorem-proving	9
type-theory	9
formal-method	8
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
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 library 187 articles Export

yoriyuki's tags