Prakash Panangaden - PDFSEARCH.IO - Document Search Engine

Prakash Panangaden
Results: 7

#	Item
1	Call for Nominations Editor-In-Chief ACM Transactions on Computational Logic The term of the current Editor-in-Chief (EiC) of the ACM Transactions on Computational Logic (TOCL) is coming to an end, and the ACM Publicatio Add to Reading List Source URL: tocl.acm.org Language: English - Date: 2015-08-25 13:21:53 Logic in computer science Computer scientists ACM Transactions on Computational Logic ACM SIGLOG Victor Vianu Computational logic Prakash Panangaden Association for Computing Machinery
2	Announcing a New Special Interest Group: SIGLOG Prakash Panangaden SIGLOG Chair April 22, 2014 Logic is often called the “calculus of computation” and computation has Add to Reading List Source URL: siglog.hosting.acm.org Language: English - Date: 2014-05-06 04:17:47
3	September 12, 2008 — Submitted to Trends in Logic VI The Logic BV and Quantum Causality Rick Blute Prakash Panangaden Add to Reading List Source URL: www.lix.polytechnique.fr - Date: 2009-03-12 09:58:11
4	September 12, 2008 — Submitted to Trends in Logic VI The Logic BV and Quantum Causality Rick Blute Prakash Panangaden Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2009-03-12 09:58:11
5	Approximation of [1] continuous LMPs Alexandre Bouchard-Côté Supervisors: Prakash Panangaden, Doina Precup Reasoning and Learning Lab, McGill University Add to Reading List Source URL: www.stat.ubc.ca Language: English - Date: 2011-11-06 12:07:03 Bisimulation Applied mathematics Equivalence relation Mathematics Infimum Order theory
6	Domain theory and general relativity Keye Martin and Prakash Panangaden Naval Research Laboratory Center for High Assurance Computer Systems Washington DC[removed]removed] Add to Reading List Source URL: www.nearmidnight.com Language: English - Date: 2012-12-25 23:16:06 Structure Partially ordered set Causal sets Continuous function Domain theory Globally hyperbolic manifold Spacetime topology Completeness Filter Order theory Mathematics Physics
7	Domain theory and general relativity Keye Martin and Prakash Panangaden Naval Research Laboratory Add to Reading List Source URL: www.cs.mcgill.ca Language: English - Date: 2008-02-21 10:39:52 Structure Causal sets Partially ordered set Globally hyperbolic manifold Spacetime topology Domain theory Continuous function Completeness Causal structure Order theory Mathematics Physics