On Fixed-Point Logic With Counting

Journal of Symbolic Logic - United Kingdom
doi 10.2307/2586569
Full Text
Abstract

Available in full text

Categories
PhilosophyLogic
Date
Authors
Publisher

Cambridge University Press (CUP)

Related search

Fixed-Point Extensions of First-Order Logic

Annals of Pure and Applied Logic
Logic
1986English

On Almost-Fixed-Point Theory

Canadian Journal of Mathematics
Mathematics
1978English

Two-Variable Logic With Counting and a Linear Order

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2016English

On Some Fixed Point Theorems

International Journal of Mathematics and Mathematical Sciences
Mathematics
1989English

Fixed-Point Trigonometric Functions on FPGAs

ACM SIGARCH Computer Architecture News
2013English

Remarks on Recent Fixed Point Theorems

Fixed Point Theory and Applications
GeometryApplied MathematicsTopology
2010English

Remarks on Some Fixed Point Theorems

Proceedings of the American Mathematical Society
MathematicsApplied Mathematics
1976English

Fixed Point Theorems on Nonlinear Binary Operator Equations With Applications

Discrete Dynamics in Nature and Society
ModelingSimulation
2014English

Complexity Results for First-Order Two-Variable Logic With Counting

SIAM Journal on Computing
MathematicsComputer Science
2000English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy