Geodesic

Studies in constructive mathematics and mathematical logic. Part XI

Sommaire

Complexity of the identity checking problem for finite semigroups
p. 5-22
Non-maximal decidable structures
p. 23-37
Tree inclusions in windows and slices
p. 38-53
Time hierarchies for cryptographic function inversion with advice
p. 54-76
Proof compressions with circuit-structured substitutions
p. 77-99
The decision problem for some logics for finite words on infinite alphabets
p. 100-119
On equations in free semigroups with certain constraints on their solutions
p. 120-129
Fuzzy constructive logic
p. 130-152
The Lengths of Proofs: Kreisel's conjecture and G\"odel's speed-up theorem
p. 153-188
Borel reducibility as an additive property of domains
p. 189-198
Defining the integers in large rings of a~number field using one universal quantifier
p. 199-223
In some curved spaces, one can solve NP-hard problems in polynomial time
p. 224-250
Logical equations in monadic logic
p. 251-270
On a~class of bases for Boolean functions
p. 271-281
Faster subsequence recognition in compressed strings
p. 282-300