Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by D.J.D. Hughes
Games and Definability for System F
Related publications
Naturality and Definability, I
Journal of the London Mathematical Society
Mathematics
Definability and Almost Disjoint Families
Advances in Mathematics
Mathematics
Definability Problems for Graph Query Languages
Definability and Canonicity for Boolean Logic With a Binary Relation
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
Evolutionary Dynamics for Bimatrix Games: A Hamiltonian System?
Journal of Mathematical Biology
Agricultural
Applied Mathematics
Simulation
Modeling
Biological Sciences
Relative Definability and Models of Unary PCF
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Complexity of Inheritance of F-Convexity for Restricted Games Induced by Minimum Partitions
RAIRO - Operations Research
Management Science
Computer Science Applications
Operations Research
Theoretical Computer Science
Some Questions on External Definability
PHYSICO-MATHEMATICAL SERIES
Deciding Definability by Deterministic Regular Expressions
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science