Results 91 to 100 of about 165,353 (118)

First order abduction via tableau and sequent calculi

open access: green, 1993
Marta Cialdea Mayer, Fiora Pirri
openalex   +2 more sources

A Contraction-free and Cut-free Sequent Calculus for Propositional Dynamic Logic

open access: green, 2010
Brian Hill, Francesca Poggiolesi
openalex   +2 more sources

Nested Sequent Calculi for Normal Conditional Logics

open access: green, 2016
Régis Alenda   +2 more
openalex   +2 more sources

Frequency and Sequency Analyses of Petrophysical Log Data and Inductively Coupled Argon Plasma Analysis of Sediments in the Lau Basin

open access: gold, 1994
Cedric M. Griffiths   +2 more
openalex   +1 more source

Orthogonal Time Sequency Multiplexing Modulation: Analysis and Low-Complexity Receiver Design

open access: gold, 2021
Tharaj Thaj, Emanuele Viterbo, Yi Hong
openalex   +1 more source

A Simulation of Natural Deduction and Gentzen Sequent Calculus

open access: diamond, 2017
Daniil Kozhemiachenko
openalex   +2 more sources

Uniform interpolation and the existence of sequent calculi

open access: bronze, 2019
Rosalie Iemhoff
openalex   +2 more sources

Proof Theory: Sequent Calculi and Related Formalisms

open access: green, 2014
Katalin Bimbó
openalex   +1 more source

Multidimensional signal processing using quaternion complex Hadamard transform in sequency domain [PDF]

open access: bronze, 2018
Dure Jabeen, T. Iqrar, M. Faisal Khan
openalex   +1 more source

Compiling Classical Sequent Calculus to Stock Hardware: The Duality of Compilation

open access: diamond
Philipp Schuster   +3 more
openalex   +1 more source
computer science
calculus dental
discrete mathematics
algorithm
natural deduction
cut-elimination theorem
geometry
proof calculus
mathematical proof
previous   8  9  10  11  12  

Home - About - Disclaimer - Privacy