Games and Definability for System F

doi 10.1109/lics.1997.614935

Full Text

Abstract

Available in

Date

Unknown

Authors

Publisher

IEEE Comput. Soc

Related search

Naturality and Definability, I

Journal of the London Mathematical Society
Mathematics
1986English

Definability Problems for Graph Query Languages

2013English

Definability and Almost Disjoint Families

Advances in Mathematics
Mathematics
2018English

Definability and Canonicity for Boolean Logic With a Binary Relation

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2014English

Some Questions on External Definability

PHYSICO-MATHEMATICAL SERIES
2019French

Relative Definability and Models of Unary PCF

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

Evolutionary Dynamics for Bimatrix Games: A Hamiltonian System?

Journal of Mathematical Biology
AgriculturalApplied MathematicsSimulationModelingBiological Sciences
1996English

Complexity of Inheritance of F-Convexity for Restricted Games Induced by Minimum Partitions

RAIRO - Operations Research
Management ScienceComputer Science ApplicationsOperations ResearchTheoretical Computer Science
2020English

Deciding Definability by Deterministic Regular Expressions

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy