Results 91 to 100 of about 307,150 (181)

Isometries of Spacetimes Without Observer Horizons. [PDF]

Commun Math Phys
García-Heveling L, Zeghib A.
europepmc   +1 more source

Rare Events Statistics for Z d Map Lattices Coupled by Collision. [PDF]

Commun Math Phys
Bahsoun W, Phalempin M.
europepmc   +1 more source

Long-Time Stability of a Stably Stratified Rest State in the Inviscid 2D Boussinesq Equation. [PDF]

Arch Ration Mech Anal
Jurja C, Widmayer K.
europepmc   +1 more source

A conjecture of Warnaar-Zudilin from deformations of lie superalgebras. [PDF]

Res Math Sci
Creutzig T, Garner N.
europepmc   +1 more source

Tactic-based theorem proving in first-order modal and temporal logics

, 2001
We describe the ongoing work on a tactic-based theorem prover for First-Order Modal and Temporal Logics (FOTLs for the temporal ones). In formal methods, especially temporal logics play a determining role; in particular, FOTLs are natural whenever the modeled systems are infinite-state.
Castellini, Claudio, Smaill, Alan
openaire   +1 more source

The shifted convolution problem in function fields. [PDF]

Math Ann
Florea A, Lalín M, Malik A, Sahay A.
europepmc   +1 more source

First-order modal logic theorem proving and standard PROLOG

, 1992
Many attempts have been started to combine logic programming and modal logics. Most of them however, do not use classical PROLOG, but extend the PROLOG idea in order to cope with modal logic formulae directly. These approaches have the disadvantage that for each logic new logic programming systems are to be developed and the knowledge and experience ...
openaire   +1 more source

Almost optimal geometrically local quantum LDPC codes in any dimension. [PDF]

Nat Commun
Li X, Lin TC, Wills A, Hsieh MH.
europepmc   +1 more source

Discrete stochastic maximal regularity. [PDF]

Math Ann
Evangelopoulos-Ntemiris F, Veraar M.
europepmc   +1 more source

Invariance Principle for Lifts of Geodesic Random Walks. [PDF]

J Theor Probab
Junné J, Redig F, Versendaal R.
europepmc   +1 more source