RISC-Linz

RISC-Linz Research Institute for Symbolic Computation

about

|

people

|

publications

|

research

|

education

|

industry

|

conferences

|

media

|

projects

internal

my risc

my mail

my personal data

my publications

my library

my allocations

my teaching

forum talks

risc portal

risc community

risc wiki

risc mailing lists

sysadmin user info

quick guide

complete guide

system administration

equipment

rooms

media

press archive

image archive

search:

>	general info	>
>	publications	>

Christian Aistleitner

Former member of RISC

Working area: differential characteristic sets

Web:

http://www.risc.jku.at/home/caistlei/