The following pages link to Johann A. Makowsky (Q452475):
Displaying 50 items.
- Connection matrices and the definability of graph parameters (Q2929592) (← links)
- Logics of Finite Hankel Rank (Q2947177) (← links)
- (Q3007253) (← links)
- The Specker-Blatter Theorem Revisited (Q3082916) (← links)
- (Q3118380) (← links)
- (Q3118385) (← links)
- Fusion in relational structures and the verification of monadic second-order properties (Q3146251) (← links)
- (Q3216138) (← links)
- BCNF via Attribute Splitting (Q3223999) (← links)
- Complexity of the Bollobás-Riordan Polynomial (Q3503627) (← links)
- Uniform Algebraic Reducibilities between Parameterized Numeric Graph Invariants (Q3507454) (← links)
- (Q3509171) (← links)
- Computing Graph Polynomials on Graphs of Bounded Clique-Width (Q3522957) (← links)
- On Counting Generalized Colorings (Q3540189) (← links)
- Incremental model checking for decomposable structures (Q3569044) (← links)
- Definability of Combinatorial Functions and Their Linear Recurrence Relations (Q3586014) (← links)
- The Ackermann Award 2010 (Q3586064) (← links)
- Connection Matrices for MSOL-Definable Structural Invariants (Q3601800) (← links)
- The Ackermann Award 2007 (Q3608440) (← links)
- The Ackermann Award 2009 (Q3644773) (← links)
- (Q3662644) (← links)
- (Q3673087) (← links)
- (Q3677149) (← links)
- A proof rule for fair termination of guarded commands (Q3698284) (← links)
- (Q3713561) (← links)
- (Q3741099) (← links)
- Vopěnka's principle and compact logics (Q3760532) (← links)
- Unification as a complexity measure for logic programming (Q3782840) (← links)
- (Q3786049) (← links)
- (Q3811697) (← links)
- (Q3832048) (← links)
- Theorems of Beth and Craig in Abstract Model Theory. I The Abstract Settin (Q3864498) (← links)
- (Q3917485) (← links)
- (Q3917486) (← links)
- (Q3922656) (← links)
- Topological model theory with an interior operator: Consistency properties and back — and forth arguments (Q3926559) (← links)
- The theorems of beth and Craig in abstract model theory II. Compact logics (Q3926560) (← links)
- (Q3956380) (← links)
- The expressive power of side effects in prolog (Q3992240) (← links)
- (Q4068696) (← links)
- δ-Logics and generalized quantifiers (Q4115128) (← links)
- Completeness Theorems For Modal Model Theory With the Montague‐Chang Semantics I (Q4135498) (← links)
- Some model theory for monotone quantifiers (Q4141237) (← links)
- Some observations on Uniform Reduction for properties invariant on the range of definable relations (Q4163514) (← links)
- (Q4186303) (← links)
- (Q4202929) (← links)
- Linear time solvable optimization problems on graphs of bounded clique width (Q4232773) (← links)
- (Q4263795) (← links)
- On Average Case Complexity of SAT for Symmetric Distribution (Q4323003) (← links)
- (Q4325781) (← links)
