Results 31 to 40 of about 63,358 (127)
Logics and admissible rules of constructive set theories. [PDF]
Philos Trans A Math Phys Eng Sci, 2023 Iemhoff R, Passmann R.
europepmc +1 more source
A review of data abstraction. [PDF]
Front Artif Intell, 2023 Cima G, Console M, Lenzerini M, Poggi A.
europepmc +1 more source
Modelling and verification of post-quantum key encapsulation mechanisms using Maude. [PDF]
PeerJ Comput Sci, 2023 García V +4 more
europepmc +1 more source
Fields and Fusions: Hrushovski constructions and their definable groups
, 2010 An overview is given of the various expansions of fields and fusions of strongly minimal sets obtained by means of Hrushovski's amalgamation method, as well as a characterization of the groups definable in these ...
Wagner, Frank Olaf
core +1 more source
An extension of intermediate predicate logics to higher order
, 1991 Toshio Umezawa
openalex +2 more sources
Modern perspectives in Proof Theory. [PDF]
Philos Trans A Math Phys Eng Sci, 2023 Aguilera JP, Pakhomov F, Weiermann A.
europepmc +1 more source
On Elementary Extensions in Fuzzy Predicate Logics
, 2010 Pilar Dellunde, Francesc Esteva
openalex +2 more sources
Hypothesizing an algorithm from one example: the role of specificity. [PDF]
Philos Trans A Math Phys Eng Sci, 2023 Muggleton FREng SH.
europepmc +1 more source