scientific article; zbMATH DE number 2018591

zbMath1028.68823MaRDI QIDQ4440336

Chin Soon Lee

Publication date: 16 December 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2487/24870218.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Computing methodologies and applications (68U99)

Related Items

The size-change principle and dependency pairs for termination of term rewriting

Uses Software

• AProVE