Solution Lifting Method for Handling Meta-variables in Theorema Synasc 01

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

Original language	English
Title of host publication	Proceedings of SYNASC 2001
Editors	S. Maruster and B. Buchberger and V. Negru and T. Jebelean
Pages	15-23
Number of pages	9
Publication status	Published - Mar 2001

Fields of science

@inproceedings{c5efe6351f804a76b574054b9b6fd868,

title = "Solution Lifting Method for Handling Meta-variables in Theorema Synasc 01",

author = "B. Konev and Tudor Jebelean",

year = "2001",

month = mar,

language = "English",

isbn = "973-661-441-7",

pages = "15--23",

editor = "{S. Maruster and B. Buchberger and V. Negru and T. Jebelean}",

booktitle = "Proceedings of SYNASC 2001",

}