4767 search results - page 68 / 954 » Structures for Abstract Rewriting |
APLAS
2006
ACM
14 years 2 months ago
2006
ACM
straction for Imperative Languages William L. Harrison Dept. of Computer Science, University of Missouri, Columbia, Missouri, USA. ty in programming language semantics derives fro...
CORR
2011
Springer
13 years 3 months ago
2011
Springer
Processes of Place/Transition Systems6 Rob van Glabbeeka,b , Ursula Goltzc , Jens-Wolfhard Schickec aNICTA, Sydney, Australia bSchool of Computer Science and Engineering, Universit...
IJFCS
2006
13 years 8 months ago
2006
ion for Parametric Time-Interval Automata Akio Nakata, Tadaaki Tanimoto, Suguru Sasaki, Teruo Higashino Department of Information Networking, Graduate School of Information Science...
SIAMMAX
2010
13 years 3 months ago
2010
Abstract. In studying the vibration of fast trains, we encounter a palindromic quadratic eigenvalue problem (QEP) (2AT +Q+A)z = 0, where A, Q Cn
KES
2006
Springer
13 years 8 months ago
2006
Springer
In this paper, in order to reduce the explosive increase of the search space as the input dimension grows, we present a new representation method for the structure of fuzzy rules, ...