Discussions

• 1 You must be logged in to vote

  💡

  TermComp Discussions @ WST

  ffrohn started Jul 31, 2025 in Ideas

  

  

  

  

  16
• 1 You must be logged in to vote

  💬

  Adapting the ARI format for ITSs

  ffrohn started Jan 23, 2024 in General

  

  

  

  

  14
• 1 You must be logged in to vote

  💬

  Adapting the ARI format for ITRSs

  ffrohn started Jan 16, 2024 in General · Closed

  

  

  

  

  13
• 2 You must be logged in to vote

  💬

  Probabilistic Programming Category?

  AkihisaYamada started Mar 7, 2024 in General · Closed

  

  

  

  

  5
• 1 You must be logged in to vote

  💬

  new categories for probabilistic term rewriting

  ffrohn started Jan 15, 2024 in General

  

  

  

  

  26
• 2 You must be logged in to vote

  💬

  Format for Higher-Order Category

  AkihisaYamada started Jan 16, 2024 in General · Closed

  

  

  

  

  31
• 1 You must be logged in to vote

  💬

  Using the ARI format at termCOMP

  ffrohn started Jan 15, 2024 in General

  

  

  

  

  40
• 1 You must be logged in to vote

  💬

  What's the definition of a TRS / SRS?

  ffrohn started Mar 4, 2024 in General · Closed

  

  

  

  

  4
• 1 You must be logged in to vote

  💬

  new format for SRSs

  ffrohn started Jan 16, 2024 in General · Closed

  

  

  

  

  21
• 1 You must be logged in to vote

  🗳️

  new format for SRSs -- poll

  ffrohn started Jan 16, 2024 in Polls · Closed

  

  

  

  

  5
• 2 You must be logged in to vote

  💬

  C Integer categories

  ffrohn started Feb 19, 2024 in General · Closed

  

  

  1
• 1 You must be logged in to vote

  💬

  Adapting the ARI format for relative rewriting & complexity

  ffrohn started Jan 15, 2024 in General · Closed

  

  

  

  

  22
• 1 You must be logged in to vote

  💬

  Adapting the ARI format for Equational Rewriting

  ffrohn started Jan 15, 2024 in General · Closed

  

  

  1