1 |
Mizutani T Igarashi S Ikeda Y et al.Labeled @-calculus: formalism for time-concernedhuman factorsProceedings of AISC 2006 LNAI 2006 41202539
|
2 |
Igarashi S Mizutani T Ikeda Y et al.Tense arithmetic II: @-calculus as an adaptationfor formal number theoryTensor, N. S. 2003 641233
|
3 |
Igarashi S Shirogane T Shio M et al.Tense arithmetic I: formalization of propertiesof programs in rational arithmeticsTensor,N. S. 1998 59132152
|
4 |
Igarashi S Shio M Mizutani T et al.Specification and verification of cooperative realtimingprocesses in @-calculus. to appear
|
5 |
Hiraga R Igarashi S Psyche: computer music project,University of TsukubaProceedings of InternationalComputer Music Conference 1997 297300
|
6 |
Igarashi S Scienceof Music ExpressionTokyoYAMAHA Music Media 2000 (in Japanese)
|
7 |
Igarashi S Mizutani T Shirogane T et al.Formal analysis for continuous systems controlledby programsLNCS 1996 1179347348
|
8 |
Mizutani T Igarashi S Shio M Representation of a discretely controlled continuous systemin tense arithmeticElectr. Notes in Theor.Comp. Sci. 2001 42http://www.elsevier.com/locate/entcs/volume42.html
|
9 |
Fagin R Halpern J Y Moses Y et al.Reasoning About KnowledgeThe MIT Press 1995
|
10 |
Chaochen Z Durationcalculus, a logical approach to real-time systemsProceedings of AMAST '98 LNCS 1998 154817
|
11 |
Damm W Hungar H Olderog E R Verification of cooperating traffic agentsInternational Journal of Control 2006 79395421
|
12 |
Shoenfield J R MathematicalLogicMassachusettsAddison-Wesley Publishing Company 1967
|
13 |
Igarashi S Mizutani T Ikeda Y et al.Labeled calculi, logical spaces and cosmosProceedings of AWFS 2007 2007 3941
|
14 |
McCarthy J Sato M Hayashi T et al.On the Model Theory of KnowledgeStanford University Technical Report, STN-CS-78-657 1979
|