• AB Feldman
  • G. Provan
  • AJC van Gemund
Original languageUndefined/Unknown
Title of host publicationProceedings of the Seventh Symposium on Abstraction Reformulation, and Approximation, Whistler, Canada
EditorsI Miguel, W Ruml
Place of PublicationBerlin
PublisherSpringer
Pages139-154
Number of pages16
ISBN (Print)0302-9743
Publication statusPublished - 2007

Publication series

Name
PublisherSpringer
NameLecture Notes in Computer Science
Volume4612
ISSN (Print)0302-9743

    Research areas

  • Wiskunde en Informatica, Techniek, technische Wiskunde en Informatica, CWTS 0.75 <= JFIS < 2.00

ID: 3482390