585 search results - page 21 / 117 » Strategy Logic |
112
Voted
PADL
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. Programming with rewrite rules and strategies has been already used for describing several computational logics. This paper describes the way the Needham-Schroeder Public...
108
click to vote
ICRA
1998
IEEE
15 years 6 months ago
1998
IEEE
Models of human control strategy (HCS), which accurately emulate dynamic human behavior, have far reaching potential in areas ranging from robotics to virtual reality to the intel...
113
Voted
MICS
2010
15 years 6 days ago
2010
Strategies specify how a wide range of exercises can be solved incrementally, such as bringing a logic proposition to disjunctive normal form, reducing a matrix, or calculating wit...
SIGCSE
2008
ACM
15 years 1 months ago
2008
ACM
A qualitative analysis of debugging strategies of novice Java programmers is presented. The study involved 21 CS2 students from seven universities in the U.S. and U.K. Subjects &q...
124
click to vote
PLILP
1993
Springer
15 years 5 months ago
1993
Springer
Abstract. Solving equations in equational theories is a relevant programming paradigm which integrates logic and equational programming into one unified framework. Efficient metho...