pirapira's library 93 articles Export

	Concurrent dynamic logic [My Copy] J. ACM, Vol. 34, No. 2. (1987), pp. 450-479. by David Peleg posted to no-tag by pirapira on 2009-11-05 09:20:06 as
	A Knowledge-Based Algorithm for the Internet Transmission Control Protocol (TCP) [My Copy] Social Science Research Network Working Paper Series (12 November 2002) by Freek Stulp, Rineke Verbrugge posted to no-tag by pirapira on 2009-11-05 09:15:18 as
	Knowledge-based programs [My Copy] Distributed Computing, Vol. 10, No. 4. (4 July 1997), pp. 199-225. by Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi posted to no-tag by pirapira on 2009-11-05 09:13:26 as along with 1 person mperalta
	Implementing knowledge-based programs [My Copy] In TARK '96: Proceedings of the 6th conference on Theoretical aspects of rationality and knowledge (1996), pp. 15-30. by Moshe Y. Vardi posted to no-tag by pirapira on 2009-11-05 09:12:07 as
	A note on knowledge-based programs and specifications - KFUPM ePrints [My Copy] posted to no-tag by pirapira on 2009-11-05 09:04:58 as
	Towards programming with knowledge expressions [My Copy] In POPL '86: Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages (1986), pp. 140-149. by Reino K. Suonio posted to no-tag by pirapira on 2009-11-05 09:04:07 as
	Concurrent dynamic epistemic logic for MAS [My Copy] In AAMAS '03: Proceedings of the second international joint conference on Autonomous agents and multiagent systems (2003), pp. 201-208. by H. P. van Ditmarsch, W. van der Hoek, B. P. Kooi posted to no-tag by pirapira on 2009-11-02 03:55:08 as
	Concurrent common knowledge: defining agreement for asynchronous systems [My Copy] Distributed Computing, Vol. 6, No. 2. (23 September 1992), pp. 73-93. by Prakash Panangaden, Kim Taylor posted to no-tag by pirapira on 2009-10-31 22:22:46 as
	Knowability and intuitionistic logic [My Copy] Philosophia, Vol. 28, No. 1. (30 June 2001), pp. 319-334. by David De Vidi, Graham Solomon posted to no-tag by pirapira on 2009-10-30 21:39:33 as
	Kripke bundles for intermediate predicate logics and Kripke frames for intuitionistic modal logics [My Copy] Studia Logica, Vol. 49, No. 3. (1 September 1990), pp. 289-306. by Nobu Suzuki posted to no-tag by pirapira on 2009-10-30 20:05:16 as
	On some intuitionistic modal logics [My Copy] posted to no-tag by pirapira on 2009-10-30 19:44:43 as
	On the Logic of TLA+ [My Copy] Computers and Informatics, Vol. 22 (2001) by Stephan Merz, Inria Lorraine, S. Merz posted to no-tag by pirapira on 2009-10-27 23:14:33 as along with 1 person ajholanda
	HOW APPLIED MATHEMATICS BECAME PURE [My Copy] The Review of Symbolic Logic, Vol. 1, No. 01. (2008), pp. 16-41. by Y. Penelope Madd posted to no-tag by pirapira on 2009-10-22 07:56:00 as along with 1 person MichaelDe
	An Introduction to Gödel's Theorems [My Copy] (06 August 2007) by Peter Smith posted to no-tag by pirapira on 2009-10-22 07:51:28 as along with 3 people dwei98 Scis0000002 NitinCR
	The Logic of Possible Worlds [My Copy] Theory Culture Society, Vol. 23, No. 2-3. (1 May 2006), pp. 94-95. by Neil Turnbull posted to no-tag by pirapira on 2009-10-22 07:50:37 as along with 1 person tamda
	Pebble games in model theory [My Copy] Structures in Logic and Computer Science (1997), pp. 66-83. by James Lynch posted to no-tag by pirapira on 2009-10-22 07:43:38 as along with 1 person edm92
	Modal Proofs as Distributed Programs [My Copy] Programming Languages and Systems (2004), pp. 219-233. by Limin Jia, David Walker posted to no-tag by pirapira on 2009-10-19 05:59:37 as
	A beginner's guide to forcing [My Copy] (8 May 2008) by Timothy Y. Chow posted to no-tag by pirapira on 2009-10-19 05:45:10 as along with 8 people and 1 group JoseBrox jrw qwermish ansobol dmitri83 archernikov jedal teesid Model theory
	Physics, Topology, Logic and Computation: A Rosetta Stone [My Copy] ArXiv e-prints (6 March 2009) by J. C. Baez, M. Stay posted to no-tag by pirapira on 2009-10-19 05:44:53 as along with 11 people amozeika mwbuksas egcavalcanti Scis0000002 jjrohal ttylec sflammia ansobol janpaniev jrw pqnelson
	An Introduction to Category Theory, Category Theory Monads, and Their Relationship to Functional Programming [My Copy] by Jonathan M. D. Hill, Keith Clarke posted to no-tag by pirapira on 2009-10-19 05:44:21 as along with 11 people and 1 group algorithmic draganigajic ansobol jrw zednenem proportional jutaro glaubersp mathcoq ps_ttf namin Lambda the Ultimate
	Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire [My Copy] In Proceedings 5th ACM Conf.\ on Functional Programming Languages and Computer Architecture, {FPCA}'91, Cambridge, {MA}, {USA}, 26--30 Aug 1991, Vol. 523 (1991), pp. 124-144. by Erik Meijer, Maarten Fokkinga, Ross Paterson edited by J. Hughes posted to no-tag by pirapira on 2009-10-19 05:44:02 as along with 31 people and 4 groups ama08r ddemange ariels draganigajic rgrig jrw tautologico MattOConnor rahul ergodique kavabean damaru pintman croys roi msakai lomeo scis0000001 brothers calvins armintroy dhag Porges conal cdiggins mmarcus jimburton namin dvgb jkominek pedagand SRL SRG_at_UCD complogic Lambda the Ultimate
	Pumping lemma in context-free grammar theory based on complete residuated lattice-valued logic☆ [My Copy] Fuzzy Sets and Systems, Vol. 160, No. 8. (16 April 2009), pp. 1141-1151. by Hongyan Xing, Daowen Qiu posted to no-tag by pirapira on 2009-10-17 07:15:17 as
	A Hybrid Intuitionistic Logic: Semantics and Decidability [My Copy] Journal of Logic and Computation, Vol. 16 (2005) by Rohit Chadha, Damiano Macedonio, Vladimiro Sassone posted to no-tag by pirapira on 2009-10-15 19:11:23 as
	Investigations into Logical Deduction [My Copy] American Philosophical Quarterly, Vol. 1, No. 4. (1964), pp. 288-306. by Gerhard Gentzen posted to no-tag by pirapira on 2009-10-12 10:23:14 as along with 1 person and 1 group robertjohnsimmons ConcertRG
	The Claremont report on database research [My Copy] Commun. ACM, Vol. 52, No. 6. (2009), pp. 56-65. by Rakesh Agrawal, Anastasia Ailamaki, Philip A. Bernstein, et al.Eric A. Brewer, Michael J. Carey, Surajit Chaudhuri, Anhai Doan, Daniela Florescu, Michael J. Franklin, Hector G. Molina, Johannes Gehrke, Le Gruenwald, Laura M. Haas, Alon Y. Halevy, Joseph M. Hellerstein, Yannis E. Ioannidis, Hank F. Korth, Donald Kossmann, Samuel Madden, Roger Magoulas, Beng C. Ooi, Tim O'Reilly, Raghu Ramakrishnan, Sunita Sarawagi, Michael Stonebraker, Alexander S. Szalay, Gerhard Weikum posted to no-tag by pirapira on 2009-10-12 10:22:32 as along with 2 people maropu mogwaing
	On the convergence of reduction-based and model-based methods in proof theory [My Copy] Logic Jnl IGPL, Vol. 17, No. 5. (1 October 2009), pp. 489-497. by Gilles Dowek posted to no-tag by pirapira on 2009-10-12 10:17:06 as along with 1 person kozima
	Resource modalities in tensor logic [My Copy] Annals of Pure and Applied Logic (08 October 2009) by Paul-André Melliès, Nicolas Tabareau posted to no-tag by pirapira on 2009-10-12 10:14:44 as
	Bringing practical lock-free synchronization to 64-bit applications [My Copy] PODC '04: Proceedings of the twenty-third annual ACM symposium on Principles of distributed computing In PODC '04: Proceedings of the twenty-third annual ACM symposium on Principles of distributed computing (2004), pp. 31-39. by Simon Doherty, Maurice Herlihy, Victor Luchangco, Mark Moir posted to no-tag by pirapira on 2009-09-28 12:56:25 as along with 1 person CLLC
	Formal verification of an array-based nonblocking queue [My Copy] Engineering of Complex Computer Systems, 2005. ICECCS 2005. Proceedings. 10th IEEE International Conference on In Engineering of Complex Computer Systems, 2005. ICECCS 2005. Proceedings. 10th IEEE International Conference on (2005), pp. 507-516. by R. Colvin, L. Groves posted to no-tag by pirapira on 2009-09-28 12:56:16 as along with 1 person CLLC
	A Survey of Software Development Practices in the New Zealand Software Industry [My Copy] ASWEC '00: Proceedings of the 2000 Australian Software Engineering Conference In ASWEC '00: Proceedings of the 2000 Australian Software Engineering Conference (2000), pp. 189-201. by Lindsay Groves, Ray Nickson, Greg Reeve, Steve Reeves, Mark Utting posted to no-tag by pirapira on 2009-09-28 12:56:08 as along with 1 person CLLC
	A New Introduction to Modal Logic [My Copy] (12 September 1996) by G. E. Hughes, M. J. Cresswell posted to no-tag by pirapira on 2009-09-28 12:55:55 as along with 1 person CLLC
	Reflective metalogical frameworks [My Copy] ACM Trans. Comput. Logic, Vol. 5, No. 3. (July 2004), pp. 528-576. by David Basin, Manuel Clavel, José Meseguer posted to no-tag by pirapira on 2009-09-28 12:27:42 as along with 6 people and 1 group isotelesis leemond31 dalev scis0000001 Benja Scis0000002 NU-PRL
	A Symmetric Modal Lambda Calculus for Distributed Computing [My Copy] Logic in Computer Science, Symposium on In Logic in Computer Science, 2004. Proceedings of the 19th Annual IEEE Symposium on, Vol. 0 (2004), pp. 286-295. by Tom Murphy VII, Karl Crary, Robert Harper, Frank Pfenning posted to no-tag by pirapira on 2009-09-27 09:57:05 as along with 2 people and 1 group robertjohnsimmons kozima ConcertRG
	A Formal Calculus for Categories [My Copy] (2003) by Mario J. Cáccamo posted to no-tag by pirapira on 2009-09-27 09:54:04 as along with 3 people jrw scis0000001 Scis0000002
	The Small-World Phenomenon: An Algorithmic Perspective [My Copy] In Proceedings of the 32nd ACM Symposium on Theory of Computing (# 2000) by Jon Kleinberg posted to no-tag by pirapira on 2009-09-27 09:54:00 as along with 38 people and 11 groups ariels semantic01 brewbooks mhofree sototozo pick600 camster mercutio korakot twleung A_Olympia khop01 ansobol macartisan jrw xxc zqshen nkorf rahul srinaths lyongu ddahlem scis0000001 bigbossman merazzle jwdietrich pcchen001 luk jpah deysandeep furykerry gvdh casst122 mpotamias kaks paulovn pedagand wangjava Philosophy_of_Information dbk-lab Blog_and_Wiki_Research GraphVis Semantic-Social-Networks Wikipedia SRL Cybernetics oktave-labs Community_SSTZ Social Web
	Elements of basic category theory [My Copy] (1996) by A. Martini, H. Ehrig, D. Nunes posted to no-tag by pirapira on 2009-09-27 09:53:55 as along with 8 people A_Olympia ansobol jrw tautologico proportional ds julianjonker davidmathers
	LISP - Notes on its Past and Future [My Copy] In Conference Record of the 1980 LISP Conference, Stanford University (1980) by J. Mccarthy posted to no-tag by pirapira on 2009-09-27 09:53:48 as along with 4 people hamish ansobol jrw bunge
	Galois connections presented calculationally [My Copy] (1992) by C. J. Aarts posted to no-tag by pirapira on 2009-09-19 10:39:02 as along with 4 people ansobol jrw scis0000001 Scis0000002
	Molecular implementation of simple logic programs [My Copy] Nature Nanotechnology, Vol. advance online publication (02 August 2009) by Tom Ran, Shai Kaplan, Ehud Shapiro posted to no-tag by pirapira on 2009-09-11 11:56:28 as along with 1 person and 1 group robertrentzsch Orengo Group Journal Picks
	Universal coalgebra: a theory of systems [My Copy] Theor. Comput. Sci., Vol. 249, No. 1. (October 2000), pp. 3-80. by J. J. M. M. Rutten posted to no-tag by pirapira on 2009-09-11 08:14:39 as along with 2 people msakai oryp6518
	Distributed Control Flow with Classical Modal Logic [My Copy] Computer Science Logic (2005), pp. 51-69. by Tom Murphy VII, Karl Crary, Robert Harper posted to no-tag by pirapira on 2009-09-09 08:56:31 as
	20 Modal logic for games and information [My Copy] In Handbook of Modal Logic, Vol. 3 (2007), pp. 1077-1148. by W. Vanderhoek, M. Pauly posted to no-tag by pirapira on 2009-08-27 01:07:34 as
	From worlds to possibilities [My Copy] Journal of Philosophical Logic, Vol. 10, No. 3. (1 August 1981), pp. 313-339. by I. L. Humberstone posted to no-tag by pirapira on 2009-08-20 15:22:41 as along with 1 person perezcarballo
	Knowledge-based modelling of voting protocols [My Copy] In TARK '07: Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge (2007), pp. 62-71. by A. Baskar, R. Ramanujam, S. P. Suresh posted to no-tag by pirapira on 2009-08-20 15:16:51 as along with 1 person sgwyj
	On the Correctness of Operating System Kernels [My Copy] Theorem Proving in Higher Order Logics (2005), pp. 1-16. by Mauro Gargano, Mark Hillebrand, Dirk Leinenbach, Wolfgang Paul posted to no-tag by pirapira on 2009-08-20 15:05:40 as
	Game Semantics for Access Control [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 249 (08 August 2009), pp. 135-156. by Samson Abramsky, Radha Jagadeesan posted to no-tag by pirapira on 2009-08-19 15:54:41 as
	Contraction-free Proofs and Finitary Games for Linear Logic [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 249 (08 August 2009), pp. 287-305. by André Hirschowitz, Michel Hirschowitz, Tom Hirschowitz posted to no-tag by pirapira on 2009-08-19 15:54:23 as
	Logical Semantics for Stability☆ [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 249 (08 August 2009), pp. 429-449. by Luca Paolini, Mauro Piccolo, Simona Della Rocca posted to no-tag by pirapira on 2009-08-19 15:53:57 as
	Algebra and logic for access control [My Copy] Formal Aspects of Computing (2009) by Matthew Collinson, David Pym posted to no-tag by pirapira on 2009-08-19 15:49:56 as along with 1 person michaelbanks
	Mathematical modal logic: A view of its evolution [My Copy] Journal of Applied Logic, Vol. 1, No. 5-6. (October 2003), pp. 309-392. by Robert Goldblatt posted to no-tag by pirapira on 2009-08-03 20:38:16 as along with 2 people michaelbanks CLLC

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

Result page: 1 2 Next

algorithm	6
computer	5
database	4
math	3
social	3
xml	3
economics	2
evolution	2
is	2
nandemo	2
programming	2
sociology	2
automaton	1
biology	1
concurrency	1
dna	1
economy	1
fft	1
ga	1
language	1
logic	1
oop	1
philosophy	1
poset	1
quantum	1
scheduling	1
xquery	1

pirapira's library 93 articles Export

pirapira's tags