Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 237,488,972 papers from all fields of science
Search
Sign In
Create Free Account
Formal proof
Known as:
Proof
, Formal
, Symbolic proof
Expand
A formal proof or derivation is a finite sequence of sentences (called well-formed formulas in the case of a formal language), each of which is an…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
30 relations
Admissible rule
Automated reasoning
Automated theorem proving
Axiomatic system
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
On fermionic models of a closed ecosystem with application to bacterial populations
R. D. Salvo
,
F. Oliveri
2016
Corpus ID: 55230596
This paper deals with the application of operatorial techniques of quantum physics to a theoretical model of closed ecosystems…
Expand
2006
2006
A Self-Organising Map Approach for Clustering of XML Documents
Francesca Trentini
,
M. Hagenbuchner
,
A. Sperduti
,
F. Scarselli
The IEEE International Joint Conference on…
2006
Corpus ID: 10075797
The number of XML documents produced and available on the Internet is steadily increasing. It is thus important to devise…
Expand
2006
2006
A Tableau for Bundled CTL
Mark Reynolds
Journal of Logic and Computation
2006
Corpus ID: 32368100
We present a sound, complete and relatively straightforward tableau method for deciding valid formulas in the propositional…
Expand
2005
2005
Strategyproof mechanisms for dynamic tree formation in overlay networks
Selwyn Yuen
,
Baochun Li
Proceedings IEEE 24th Annual Joint Conference of…
2005
Corpus ID: 8112565
In overlay multicast, every end host forwards multicast data to other end hosts in order to disseminate data. However, this…
Expand
2001
2001
Towards Trustworthy Specifications I: Consistency Checks
M. Roggenbach
,
Lutz Schröder
Workshop on Recent Trends in Algebraic…
2001
Corpus ID: 41611361
As the first of two methodological devices aimed at increasing the trust in the 'correctness'of a specification, we develop a…
Expand
1998
1998
CDT: A Tool for Agent Conversation Design
M. Greaves
,
H. Holmback
,
J. Bradshaw
1998
Corpus ID: 16988931
The design, implementation, and verification of agent conversations (i.e., multiagent sequences of language primitives which are…
Expand
1998
1998
Applying the Cogito Program Development Environment to Real−Time System Design
C. Fidge
,
P. Kearney
,
Andrew P. Martin
1998
Corpus ID: 15524124
We show how a formal program development environment, previously used for sequential, non-real-time applications only, can be…
Expand
1996
1996
The beginnings of Western music in Meiji Era Japan : thesis submitted for the degree "doctor of philosophy" : submitted to the Senate of Tel-Aviv University
1996
Corpus ID: 68744028
This volume investigates the introduction of Western music into the educational system of Japan and reveals the existence of…
Expand
1994
1994
Annotations in formal specifications and proofs
Sara Kalvala
Formal Methods Syst. Des.
1994
Corpus ID: 5188186
Formal specification languages and proof methodologies are useful tools in reasoning about different domains: they provide a…
Expand
1969
1969
Simultaneous approximation of a set of bounded real functions
J. B. Díaz
,
H. McLaughlin
1969
Corpus ID: 6088590
The problem of simultaneous Chebyshev approximation of a set F of uniformly bounded, real-valued functions on a compact interval…
Expand