information about Bounded quantification field
Field Hierarchy
Parent | |||
---|---|---|---|
Subtyping 8,589 papers | Type (model theory) 188 papers | ||
Current | |||
Bounded quantification papers | |||
Child |
Trends
Notes
History
Parent | |||
---|---|---|---|
Subtyping 8,589 papers | Type (model theory) 188 papers | ||
Current | |||
Bounded quantification papers | |||
Child |