Model Theory

AutStr: Symbolic Infinite Structures in Python featured image
Automatic Structures

AutStr: Symbolic Infinite Structures in Python

AutStr is a Python library for symbolic representation and manipulation of infinite relational structures. It represents infinite mathematical objects — the integers ℤ, the …

Faried Abu Zaid
•
Read more
Trending
AutStr 2.0 — Uniformly Automatic Classes and Linear-Time Algorithm Synthesis featured image
Academic

AutStr 2.0 — Uniformly Automatic Classes and Linear-Time Algorithm Synthesis

A major rewrite of AutStr — a 10²–10³× faster automata core, uniformly automatic classes for whole families of finite structures, and MSO queries that compile into provably …

avatar
Dr. Faried Abu Zaid
•
Read more
Automatic Structures

Model-Theoretic Properties of ω-Automatic Structures

Model-theoretic properties of ω-automatic structures.

Faried Abu Zaid
•
Read more