EQP

EQP, an abbreviation for equational prover, is an automated theorem proving program for equational logic, developed by the Mathematics and Computer…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2019

Real-time object matching and recognition is a challenging task in computer vision probably due to the extensively computational…

2015

I examine the scopal interactions between comparative quantifier phrases (CQPs) and negation and argue, based on the complex…

2015

The accurate prediction of hourly runoff discharge in a river basin during typhoon events is of critical importance in…

2014

The progressive change in weather conditions in the world, have caused an increase in the frequency and severity of…

2014

2002

We show that an oracle A that contains either 1/4 or 3/4 of all strings of length n can be used to separate EQP from the counting…

2001

Since the beginning of history, various forms of architecture have beendesignedintheworld…

1997

There is a trend away from monolithic automated theorem provers towards using automation as a tool in support of interactive…

1994

This paper presents techniques for specifying microprocessor instruction set syntax and semantics in the HOL theorem proving…

1984

A validation method for the synchronization subsystem of a fault tolerant computer system is investigated. The method combines…