Results 291 to 300 of about 2,494,307 (343)

A General Proof System for Modalities in Concurrent Constraint Programming

International Conference on Concurrency Theory, 2013
V. Nigam, C. Olarte, Elaine Pimentel
semanticscholar   +1 more source

Glivenko sequent classes in the light of structural proof theory

Archive for Mathematical Logic, 2016
Sara Negri
semanticscholar   +1 more source

General proof of the averaged null energy condition for a massless scalar field in two-dimensional curved spacetime.

Physical Review D, Particles and fields, 1991
R. Wald, U. Yurtsever
semanticscholar   +1 more source

A simple general proof of Kharitonov's generalized stability criterion

, 1987
N. Bose, Y. Shi
semanticscholar   +1 more source

Joint review of general lattice theory (second edition) and the congruences of a finite lattice: a proof-by picture approach

SIGA, 2007
G. Grätzer
semanticscholar   +1 more source

An overview of precision oncology basket and umbrella trials for clinicians

Ca-A Cancer Journal for Clinicians, 2020
Kristian Thorlund, Edward J Mills
exaly  

Applied Proof Theory - Proof Interpretations and their Use in Mathematics

Springer Monographs in Mathematics, 2008
U. Kohlenbach
semanticscholar   +1 more source

Expanding the Realm of Systematic Proof Theory

Annual Conference for Computer Science Logic, 2009
A. Ciabattoni, Lutz Straßburger, K. Terui   +2 more
semanticscholar   +1 more source

Theory of Inelastic Collisions. II. The Proof of Conjectured Rules for the WKB-Type General Solutions

, 1970
Byung Chan Eu
openalex   +1 more source