Results 101 to 110 of about 970 (166)

First-Order Theory of Rewriting for Linear Variable-Separated Rewrite Systems: Automation, Formalization, Certification. [PDF]

J Autom Reason, 2023
Middeldorp A, Lochmann A, Mitterwallner F.   +2 more
europepmc   +1 more source

Computation of topological relations with 3-SRM. [PDF]

Sci Rep
Totad NP, Sajjanshettar GM, Aithal PK.
europepmc   +1 more source

Illative combinatory logic without equality as a primitive predicate.

Notre Dame Journal of Formal Logic, 1982
openaire   +3 more sources

Some undecidable theories with monadic predicates and without equality

Archiv für Mathematische Logik und Grundlagenforschung, 1981
openaire   +1 more source

A geometric framework for reaction enumeration in computational nucleic acid devices. [PDF]

J R Soc Interface, 2023
Kumar S, Lakin MR.
europepmc   +1 more source

Formal analysis of signal protocol based on logic of events theory. [PDF]

Sci Rep
Li Z, Xiao M, Xu R.
europepmc   +1 more source

Pure first-order quasiary logics with equality predicates

PROBLEMS IN PROGRAMMING, 2017
M.S. Nikitchenko, S.S. Shkilniak
openaire   +2 more sources

Neuronal parts list and wiring diagram for a visual system. [PDF]

Nature
Matsliah A, Yu SC, Kruk K, Bland D, Burke AT, Gager J, Hebditch J, Silverman B, Willie KP, Willie R, Sorek M, Sterling AR, Kind E, Garner D, Sancer G, Wernet MF, Kim SS, Murthy M, Seung HS, FlyWire Consortium.   +19 more
europepmc   +1 more source

SQUiD: ultra-secure storage and analysis of genetic data for the advancement of precision medicine. [PDF]

Genome Biol
Blindenbach J, Kang J, Hong S, Karam C, Lehner T, Gürsoy G.   +5 more
europepmc   +1 more source

A Formalization of the Smith Normal Form in Higher-Order Logic. [PDF]

J Autom Reason, 2022
Divasón J, Thiemann R.
europepmc   +1 more source