Prological Features in a Functional Setting — Axioms and Implementations

Registos relacionados

• Prolog's Control Constructs in a Functional Setting — Axioms and Implementation
  Por: Hinze, R
  Publicado em: (2001)
• Turbo Prolog : features for programmers /
  Por: 453447 Nath, Sanjiva
  Publicado em: (1986)
• The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory/
  Por: 330777 Godel, Kurt
  Publicado em: (1940)
• Λr -sets and separation axioms
  Por: Jeyanthi, M. J., et al.
  Publicado em: (2011)
• Shift Axioms
  Por: von Karger, B
  Publicado em: (2015)