Volume 19; Issue 3

5

Chopper: Efficient algorithm for tree mining

Year:
2004
Language:
english
File:
PDF, 1.44 MB
english, 2004
7

Regular disjunction-free default theories

Year:
2004
Language:
english
File:
PDF, 1.16 MB
english, 2004
8

A framed temporal logic programming language

Year:
2004
Language:
english
File:
PDF, 1.15 MB
english, 2004
9

Towards a theory of bisimulation for the higher-order process calculi

Year:
2004
Language:
english
File:
PDF, 1.11 MB
english, 2004
10

Process algebra approach to reasoning about concurrent actions

Year:
2004
Language:
english
File:
PDF, 879 KB
english, 2004
11

Single view based measurement on space planes

Year:
2004
Language:
english
File:
PDF, 1000 KB
english, 2004