"On Verifying Reactive Rules Using Rewriting Logic"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Verifying Concurrent Processes Using Temporal Logic	B. T. Hailpern	1982	Springer Berlin Heidelberg
Women lawyers: rewriting the rules	Mona Harrington	1994	A.A. Knopf
Chemical Synthesis Using Highly Reactive Metals	Reuben D. Rieke	2016	John Wiley & Sons
Handy-book of rules and tables for verifying dates	John James Bond	1875
Combinational & Sequential Logic: A Hands-on Approach Using Programmable Logic	Martin Rice	December 31, 2001	Prentice Hall (UK)
Reactive Distillation: Advanced Control using Neural Networks	Vandana Sakhre; Uday Pratap Singh	2022	De Gruyter
Seeing tomorrow: rewriting the rules of risk	Ron S. Dembo	1998	John Wiley & Sons
Using Logic Pro's Synthesizers	Anker, Kevin	2014	Course Technology;Cengage Learning
Handbook of Groundwater Remediation using Permeable Reactive Barriers	David L. Naftz; Stan J. Morrison; Christopher C. Fuller and James A. Davis	2003	Academic Press
The Temporal Logic of Reactive and Concurrent Systems: Specification	Zohar Manna; Amir Pnueli	1992	Springer New York
Women Who Work: rewriting the rules for success	Ivanka Trump	2017	Portfolio/Penguin
Contextual Safeguarding and Child Protection: Rewriting the Rules	Carlene Firmin	2020	Routledge
Guide for Dual-Career Couples: Rewriting the Rules	Eve Sprunt	2016	ABC-CLIO, LLC
Verifying Nuclear Disarmament	Thomas Shea	2018	Routledge
Logic Synthesis Using Synopsys®	Pran Kurup; Taher Abbasi	2nd ed. 1997	Springer US
Control Using Logic-Based Switching	A.Stephen Morse	1997	Springer Berlin Heidelberg
Constraint Logic Programming using Eclipse	Krzysztof R. Apt; Mark Wallace	2006-12	Cambridge University Press
Logic Synthesis Using Synopsys®	Pran Kurup; Taher Abbasi	1995	Springer US
Using integrated circuit logic devices	Delton T. Horn	1984	Tab Books
Computer programming logic using flowcharts	Joyce Farrell	1995	Boyd & Fraser
Boook	Author(s)	Year	Publisher

Showing 1 to 20 of 100 entries

entries per page

Filter:

Showing 1 to 20 of 100 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
On Verifying Reactive Rules Using Rewriting Logic	Katerina Ksystra; Nikos Triantafyllou; Petros Stefaneas	Rules on the Web: From Theory to Applications: 8th International Symposium, RuleML 2014, Co-located with the 21st European Conference on Artificial Intelligence, ECAI 2014, Prague, Czech Republic, August 18-20, 2014, Proceedings	Antonis Bikakis; Paul Fodor; Dumitru Roman	2014	Springer International Publishing
Verifying Reachability-Logic Properties on Rewriting-Logic Specifications	Dorel Lucanu; Vlad Rusu; Andrei Arusoaie; David Nowak	Logic, Rewriting, and Concurrency: Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday	Narciso Martí-Oliet; Peter Csaba Ölveczky; Carolyn Talcott	1st ed. 2015	Springer International Publishing
The rules of rewriting logic		Theoretical Computer Science, Volume 285, Issue 2, Pages 119-564 (28 August 2002), Rewriting Logic and its Applications	N. Marti-Oliet, J. Mesegue (eds.)
Analysis of Active Database Rules Behaviour Using Rewriting Logic	Yahia Rabih; Michel Schneider	Database and Expert Systems Applications: 10th International Conference, DEXA' 99, Florence, Italy, August 30 - September 3, 1999, Proceedings	Trevor J.M. Bench-Capon; Giovanni Soda; A Min Tjoa	1999	Springer Berlin Heidelberg
Verifying reactive context		Hands-On Reactive Programming in Spring 5: Build cloud-ready, reactive systems with Spring 5 and Project Reactor	Dokuka, Oleh, Lozynskyi, Igor	2018	Packt Publishing
Rewriting Logic		Encyclopedia of Parallel Computing	David Padua	2011	Springer US
Rewriting logic		Theoretical Computer Science, Volume 285, Issue 2, Pages 119-564 (28 August 2002), Rewriting Logic and its Applications	N. Marti-Oliet, J. Mesegue (eds.)
Timed rewriting logic in rewriting logic		Theoretical Computer Science, Volume 285, Issue 2, Pages 119-564 (28 August 2002), Rewriting Logic and its Applications	N. Marti-Oliet, J. Mesegue (eds.)
Rewriting rules		Boolean Functions: Theory, Algorithms, and Applications.	Yves Crama, Peter L. Hammer	2011	Cambridge University Press
Reactive Rules		Encyclopedia of Database Systems	Ling Liu; M. Tamer Özsu	2009	Springer US
Understanding Promise Theory Using Rewriting Logic	Kyrre Begnum; Mark Burgess	Inter-Domain Management: First International Conference on Autonomous Infrastructure, Management and Security, AIMS 2007, Oslo, Norway, June 21-22, 2007, Proceedings	Arosha K. Bandara; Mark Burgess	2007	Springer Berlin Heidelberg
Verifying DFW rules		VMware NSX Cookbook: Over 70 Recipes to Master the Network Virtualization Skills to Implement, Validate, Operate, Upgrade, and Automate VMware NSX for VSphere	Bayu Wibowo; Tony Sangha	2018	Packt
6245 Rewriting Logic		Embedded Systems Handbook	Richard Zurawski	2005	CRC Press
Reactive Rules on the Web	Bruno Berstel; Philippe Bonnard; François Bry; Michael Eckert; Paula-Lavinia Pătrânjan	Reasoning Web: Third International Summer School 2007, Dresden, Germany, September 3-7, 2007, Tutorial Lectures	Grigoris Antoniou; Uwe Aßmann; Cristina Baroglio; Stefan Decker; Nicola Henze; Paula-Lavinia Patranjan; Robert Tolksdorf	2007	Springer Berlin Heidelberg
Rewriting the rules	Meg-John Barker	Rewriting the Rules: An Anti Self-Help Guide to Love, Sex and Relationships	Meg John Barker	2018	Routledge
Rewriting your rules	Meg-John Barker	Rewriting the Rules: An Anti Self-Help Guide to Love, Sex and Relationships	Meg John Barker	2018	Routledge
Rewriting the rules		Diary of a psychic: shattering the myths	Sonia Choquette, Ph.D	2007;2010	Hay House
Rewriting the rules		WTF: what's the future and why it's up to us /	O'Reilly, Tim,		HarperBusiness
Rewriting the rules		Rewriting the rules of the American economy: an agenda for growth and shared prosperity	Joseph E. Stiglitz	2016	National Geographic Books
Rewriting the rules		Keep moving: and other tips and truths about aging	Dick Van Dyke	2015	Weinstein Books
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"On Verifying Reactive Rules Using Rewriting Logic" - similar Books and Chapters