[ 201SYMBRCLV23 ] VL Rewriting in Computer Science and Logic

(*) Unfortunately this information is not available in english.
Workload Education level Study areas Responsible person Hours per week Coordinating university
3 ECTS B3 - Bachelor's programme 3. year Mathematics Teimuraz Kutsia 2 hpw Johannes Kepler University Linz
Detailed information
Original study plan Bachelor's programme Technical Mathematics 2023W
Criteria for evaluation
Changing subject? No
Corresponding lecture (*)TM1WIVOREWR: VO Rewriting in Computer Science und Logik (3 ECTS)
Earlier variants They also cover the requirements of the curriculum (from - to)
201LOSDRCLV14: VL Rewriting in Computer Science and Logic (2014S-2023S)
On-site course
Maximum number of participants -
Assignment procedure Direct assignment