Search results

From Termination-Portal.org
Jump to navigationJump to search

  • Tools:Julia
    categories and a simple tool page can be created. You may extend |country=Italy and France
    858 bytes (129 words) - 09:57, 22 December 2009
  • WST
    ...lso provides a ground for cross-fertilisation of ideas from term rewriting and from the different programming language communities. ...IJCAR and [http://fscdconference.org/editions/upcoming FSCD 2020], Paris (France), June/July, 2020.
    3 KB (391 words) - 17:39, 31 January 2024
Retrieved from "http://termination-portal.org/wiki/Special:Search"