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	0	5 years 4 days ago

Navigate

Subject
- Algebra (6)
- Analysis (5)
- Combinatorics (36)
- Geometry (28)
- Graph Theory (224)
- Group Theory (5)
- Logic (10)
- Number Theory (47)
- Theoretical Comp. Sci. (13)
- Topology (40)
- Unsorted (1)
Author index
Keyword index

Recent Activity

Cycle Double Covers Containing Predefined 2-Regular Subgraphs
Monochromatic reachability in arc-colored digraphs
3-Decomposition Conjecture
Which outer reloids are equal to inner ones
A diagram about funcoids and reloids

Powered by

Drupal Hosted by

CSI of Charles University Content distributed under

Disclaimer