Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top

Journal of Automated Reasoning

Issue 4/2014

Content (4 Articles)

Using Isabelle/HOL to Verify First-Order Relativity Theory

Mike Stannett, István Németi

Array Theory of Bounded Elements and its Applications

Min Zhou, Fei He, Bow-Yaw Wang, Ming Gu, Jiaguang Sun

A Goal-Directed Decision Procedure for Hybrid PDL

Mark Kaminski, Gert Smolka

A Formalisation of the Myhill-Nerode Theorem Based on Regular Expressions

Chunhan Wu, Xingyuan Zhang, Christian Urban

Mar 14
Issue: 3/2014
Jun 14
Issue: 1/2014

Current Publications

scroll for more

use your arrow keys for more

scroll or use arrow keys for more

Premium Partner

    Image Credits