Pure Second-Order Logic with Second-Order Identity.

Pure Second-Order Logic with Second-Order Identity.

Bibliographic Details
Main Author:	Paseau, A
Format:	Journal article
Published:	2010

Similar Items

Characterizing Second Order Logic with First Order Quantifiers
by: Harel, David
Published: (2023)

On Spatial Conjunction as Second-Order Logic
by: Kuncak, Viktor, et al.
Published: (2005)

On the Parameterised Intractability of Monadic Second−Order Logic
by: Kreutzer, S
Published: (2009)

Second Order Logic and the Weak Exponential Hierarchies
by: Gottlob, G, et al.
Published: (1995)

Existential second−order logic over strings
by: Eiter, T, et al.
Published: (2000)

Existential Second−Order Logic over Strings
by: Eiter, T, et al.
Published: (1998)

On the Expressiveness of Frame Satisfiability and Fragments of Second−Order Logic
by: Eiter, T, et al.
Published: (1998)

On the decidability of monadic second-order logic with arithmetic predicates
by: Berthé, V, et al.
Published: (2024)

A Decidability Result for a Second Order Process Logic
by: Parikh, Rohit
Published: (2023)

Expressing Cardinality Quantifiers in Monadic Second−Order Logic over Trees
by: Barany, V, et al.
Published: (2010)

Room-temperature photonic logical qubits via second-order nonlinearities
by: Krastanov, Stefan, et al.
Published: (2022)

Existential second−order logic over graphs: Charting the tractability frontier
by: Gottlob, G, et al.
Published: (2004)

Second−Order Logic over Strings: Regular and Non−regular Fragments
by: Eiter, T, et al.
Published: (2001)

Existential Second−Order Logic over Graphs: Charting the Tractability Frontier
by: Gottlob, G, et al.
Published: (2000)

Second order differential equations
by: Open University. Elementary Mathematics for Science and Technology Course Team
Published: (1972)

Games with second-order expected utility
by: Beggs, A
Published: (2021)

On Brambles‚ Grid−Like Minors‚ and Parameterized Intractability of Monadic Second−Order Logic
by: Kreutzer, S, et al.
Published: (2010)

Second−Order Logic over Finite Structures − Report on a Research Programme
by: Gottlob, G
Published: (2004)

Formal models of communicating systems : languages, automata, and monadic second-order logic /
by: 428469 Bollig, Benedikt
Published: (2006)

Second-order multisymplectic field theory: A variational approach to second-order multisymplectic field theory
by: Kouranbaeva, S, et al.
Published: (1999)

Second Order Limit Language: An Introduction
by: Nor Haniza, Sarmin, et al.
Published: (2014)

Properties of second-order correlation functions
Published: (2004)

Measurement of second-order coherence in the microlaser
by: Aljalal, Abdulaziz M., 1966-
Published: (2005)

Second order online collaborative filtering
by: Lu, Jing, et al.
Published: (2014)

Second order system simulator [microfilm] /
by: Tan, Kok Heng
Published: (2002)

Ordering Gospel textuality in the second century
by: Coogan, J, et al.
Published: (2023)

Linear differential transformations of the second order /
by: 311176 Boruvka, Otakar
Published: (1971)

A Comparison of Second Order and Non-Second Order Limit Language Generated by Yusof-Goode Splicing System
by: Muhammad Azrin, Ahmad, et al.
Published: (2015)

Equal order block methods for solving second order order ordinary differential equations
by: Adeyeye, Oluwaseun, et al.
Published: (2018)

Variable order step size algorithm for solving second order ODEs
by: Rasedee, Ahmad Fadly Nurullah, et al.
Published: (2019)

Second-order susceptibility imaging with polarization-resolved second harmonic generation microscopy
by: So, Peter T. C., et al.
Published: (2010)

On second-order s-sub-step explicit algorithms with controllable dissipation and adjustable bifurcation point for second-order hyperbolic problems
by: Li, Jinze, et al.
Published: (2023)

Multivalue-multistage method for second-order ODEs
by: Ismail, Siti Ainathon, et al.
Published: (2016)

An application on the second-order generalized difference equations
by: Maria Susai Manuel, Mariasebastin, et al.
Published: (2013)

Biomolecular Aspects of Second Order Limit Language
by: Muhammad Azrin, Ahmad, et al.
Published: (2018)

Second order expansion of t-statistic in autoregressive models
by: Mikusheva, Anna
Published: (2011)

Second order error correction in quantum computing
by: Sheldon, Sarah (Sarah Elizabeth)
Published: (2009)

Models of second-order Zermelo set theory.
by: Uzquiano, G
Published: (1999)

Second-order theory of the shearing of soft beams
by: Woo, Yi Zhun
Published: (2020)

Decision problems for second-order holonomic sequences
by: Neumann, E, et al.
Published: (2021)