The following pages link to Generic Literals (Q3453109):
Displayed 4 items.
- The future of logic: foundation-independence (Q263104) (← links)
- Making PVS accessible to generic services by interpretation in a universal format (Q1687752) (← links)
- Incorporating quotation and evaluation into Church's type theory (Q1753993) (← links)
- Mathematical models as research data via flexiformal theory graphs (Q2364682) (← links)