Open Problem Garden

Help
About
Contact

login/create account

Home » configure

LucSegoufin

view
track
contact

Type	Post	Author	Replies	Last post
Open problem	Finite entailment of Positive Horn logic	LucSegoufin	1	6 years 10 weeks ago

Navigate

Subject
- Algebra (298)
- Analysis (5)
- Combinatorics (35)
- Geometry (29)
- Graph Theory (227)
- Group Theory (5)
- Logic (10)
- Number Theory (49)
- PDEs (0)
- Probability (1)
- Theoretical Comp. Sci. (13)
- Topology (40)
- Unsorted (1)
Author index
Keyword index

Recent Activity

Is Dragon Ball Legends Safe? Account Security Guide — Avoid Bans, Scams & Hacks (2026)
Dragon Ball Legends PvP Team Building Guide — Tags, Synergy & Win Conditions (2026)
Dragon Ball Legends Free Chrono Crystals — Legit Methods That Actually Work (2026)
Dragon Ball Legends Free Chrono Crystals — Legit Methods That Actually Work (2026)
Nowhere-zero flows

Powered by

Drupal Hosted by

CSI of Charles University Content distributed under

Disclaimer