Login / Signup

Regular Behaviours with Names - On Rational Fixpoints of Endofunctors on Nominal Sets.

Stefan MiliusLutz SchröderThorsten Wißmann
Published in: Appl. Categorical Struct. (2016)
Keyphrases
  • information systems
  • data sets
  • logic programs
  • multiscale
  • keywords
  • description logics