R-SATCHMO: Refinements on I-SATCHMO
From MaRDI portal
Publication:4820462
DOI10.1093/logcom/14.2.117zbMath1104.68099OpenAlexW2038399467MaRDI QIDQ4820462
Hidenori Itoh, Lifeng He, Yuyan Chao
Publication date: 15 October 2004
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/logcom/14.2.117
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (1)
Uses Software
This page was built for publication: R-SATCHMO: Refinements on I-SATCHMO