Labeled @-calculus : Formalism for time-concerned human factors
MIZUTANI, Tetsuya, IGARASHI, Shigeru, IKEDA, Yasuwo, SHIO, Masayuki
Published in Lecture notes in computer science (2006)
Published in Lecture notes in computer science (2006)
Get full text
Conference Proceeding
Human factors in continuous time-concerned cooperative systems represented by NΣ-labeled calculus
Mizutani, Tetsuya, Igarashi, Shigeru, Shio, Masayuki, Ikeda, Yasuwo
Published in Frontiers of Computer Science (01.03.2008)
Published in Frontiers of Computer Science (01.03.2008)
Get full text
Journal Article
Formal System and Semantics of NΣ-Labeled Calculus
Ikeda, Y., Mizutani, T., Shio, M.
Published in 2009 International Conference on Artificial Intelligence and Computational Intelligence (01.11.2009)
Published in 2009 International Conference on Artificial Intelligence and Computational Intelligence (01.11.2009)
Get full text
Conference Proceeding
Representation of a Discretely Controlled Continuous System in Tense Arithmetic
Mizutani, Tetsuya, Igarashi, Shigeru, Shio, Masayuki
Published in Electronic notes in theoretical computer science (01.01.2001)
Published in Electronic notes in theoretical computer science (01.01.2001)
Get full text
Journal Article