Kleene algebra - PDFSEARCH.IO - Document Search Engine

Kleene algebra
Results: 14

#	Item
1	1 Kleene Algebra Modulo Theories RYAN BECKETT, Princeton University ERIC CAMPBELL, Pomona College MICHAEL GREENBERG, Pomona College Kleene algebras with tests (KATs) offer sound, complete, and decidable equational reason Add to Reading List Source URL: www.cs.pomona.edu Language: English - Date: 2017-10-23 18:01:35
2	Concurrent Kleene algebra with tests Peter Jipsen Chapman University, Orange, California 92866, USA Add to Reading List Source URL: math.chapman.edu Language: English - Date: 2014-03-18 15:12:15
3	Kleene Algebra Georg Struth University of Sheffield based on joint work with Jules Desharnais, Bernhard M¨oller and others Add to Reading List Source URL: events.cs.bham.ac.uk - Date: 2012-04-20 11:57:46
4	LNCSDevelopments in Concurrent Kleene Algebra Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2014-04-09 09:56:49
5	On the relation between Concurrent Separation Logic and Concurrent Kleene Algebra Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2014-10-22 10:00:51
6	Concurrent Kleene algebra with tests Peter Jipsen School of Computational Sciences and Center of Excellence in Computation, Algebra and Topology (CECAT) Add to Reading List Source URL: math.chapman.edu Language: English - Date: 2014-05-05 11:12:01
7	Dexter Campbell Kozen May 2, 2015 Office Computer Science Department 436 Gates Hall Cornell University Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2015-05-26 17:53:30 Formal languages Algebraic logic Algebraic structures Dexter Kozen Kleene algebra Action algebra Rohit Jivanlal Parikh Közen Workshop on Logic Language Information and Computation Mathematics Logic Mathematical logic
8	NetKAT: Semantic Foundations for Networks Carolyn Jane Anderson Swarthmore College ∗ Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-11-14 14:04:02 Model theory Secure Shell Modal logic Interpretation Kleene algebra Logic Mathematical logic Formal languages
9	NetKAT: Semantic Foundations for Networks Carolyn Jane Anderson Swarthmore College ∗ Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2014-02-07 17:29:39 Model theory Secure Shell Modal logic Interpretation Kleene algebra Logic Mathematical logic Formal languages
10	A Completeness Theorem for Kleene Algebras and the Algebra of Regular Events Dexter Kozen Department of Computer Science Cornell University Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2012-05-29 09:45:27 Algebra Formal languages Algebraic logic Many-valued logic Boolean algebra Kleene algebra Kleene star Semiring Stephen Cole Kleene Abstract algebra Mathematics Algebraic structures