Search results

From Termination-Portal.org
Jump to navigationJump to search
  • is a satellite event of [http://ijcar.cs.manchester.ac.uk/ IJCAR] (June 26-July 1). on the [http://termcomp.uibk.ac.at Termcomp Platform] at Institute of
    718 bytes (88 words) - 18:11, 26 June 2012
  • at the Institute of Computer Science of the University of Innsbruck, Austria.
    823 bytes (115 words) - 12:16, 29 June 2010
  • |university= University of Innsbruck
    577 bytes (89 words) - 09:47, 18 December 2009
  • on the [http://termcomp.uibk.ac.at Termcomp Platform] at Institute of Computer Science, University of Innsbruck,
    691 bytes (87 words) - 15:34, 17 June 2013
  • |university=University of Innsbruck
    634 bytes (95 words) - 12:30, 30 May 2014
  • |university=University of Innsbruck
    645 bytes (98 words) - 20:19, 7 September 2013
  • |university=University of Innsbruck
    622 bytes (94 words) - 11:24, 16 April 2010
  • |university=LFU Innsbruck |publication=[[Bibtex:TS09|Certification of Termination Proofs using CeTA]]
    894 bytes (133 words) - 10:25, 6 September 2016
  • |longname=Isabelle Formalization of Rewriting |university=LFU Innsbruck
    689 bytes (101 words) - 12:44, 9 April 2010
  • the University of Innsbruck.
    708 bytes (105 words) - 11:47, 8 June 2012
  • During the 90's a number of new, powerful termination methods was developed. Thus, at the beginning of the millennium
    7 KB (813 words) - 15:49, 2 July 2020
  • ...e, representing all research groups, influences the design and the running of the competition. consists of
    3 KB (403 words) - 10:30, 21 October 2019
  • ...ace "live" during the workshop. Participants may give a short presentation of their tool during the competition session at the workshop. The competition * Updates of Registered Tools: August 21, 2016
    7 KB (1,056 words) - 21:06, 5 September 2016
  • * Updates of Registered Tools: August 21, 2017 ...contains several categories for termination and complexity from the areas of term rewriting (all categories with HO/FO-TRSs, with- or without strategies
    7 KB (962 words) - 08:48, 11 June 2018
  • The final run and a presentation of the final results will be live at CADE. * Presentation of Results: TBA
    7 KB (1,026 words) - 18:20, 20 December 2020
  • In 2014, the Termination Competition will be part of the [http://vsl2014.at/olympics/ FLoC Olympic Games]. * registration of tools: June 15
    6 KB (942 words) - 13:45, 11 October 2015
  • * Presentation of Results: July 4 ...contains several categories for termination and complexity from the areas of term rewriting (all categories with HO/FO-TRSs, with- or without strategies
    7 KB (999 words) - 09:55, 3 July 2020
  • ...ry or derived. The workshop also provides a ground for cross-fertilisation of ideas from term rewriting and from the different programming language commu ...on Foundational and Practical Aspects of Resource Analysis]. The sessions of WST and FOPARA will be interleaved, this way facilitating the interaction b
    5 KB (703 words) - 11:58, 26 August 2013
  • a few weeks/days before the presentation of results, at the discretion of the organizer, Akihisa Yamada.
    7 KB (1,068 words) - 09:25, 12 June 2020
  • * Updates of Registered Tools: June 29, 2018 ...contains several categories for termination and complexity from the areas of term rewriting (all categories with HO/FO-TRSs, with- or without strategies
    7 KB (1,049 words) - 09:55, 12 June 2020

View (previous 20 | next 20) (20 | 50 | 100 | 250 | 500)