×

zbMATH — the first resource for mathematics

Found 69 Documents (Results 1–69)

100
MathJax
Kari, Jarkko (ed.) et al., Reversible computation. 10th international conference, RC 2018, Leicester, UK, September 12–14, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-99497-0/pbk; 978-3-319-99498-7/ebook). Lecture Notes in Computer Science 11106, 205-219 (2018).
MSC:  68Q05 68Q10 81P68 94C10
PDF BibTeX XML Cite
Full Text: DOI
Devitt, Simon (ed.) et al., Reversible computation. 8th international conference, RC 2016, Bologna, Italy, July 7–8, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-40577-3/pbk; 978-3-319-40578-0/ebook). Lecture Notes in Computer Science 9720, 307-321 (2016).
MSC:  68Q05 68Q10 81P68 94C10
PDF BibTeX XML Cite
Full Text: DOI
Kiselyov, Oleg (ed.) et al., Functional and logic programming. 13th international symposium, FLOPS 2016, Kochi, Japan, March 4–6, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-29603-6/pbk; 978-3-319-29604-3/ebook). Lecture Notes in Computer Science 9613, 45-61 (2016).
MSC:  68N17 68N18
PDF BibTeX XML Cite
Full Text: DOI
Krivine, Jean (ed.) et al., Reversible computation. 7th international conference, RC 2015, Grenoble, France, July 16–17, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-20859-6/pbk; 978-3-319-20860-2/ebook). Lecture Notes in Computer Science 9138, 186-199 (2015).
MSC:  68Q05 68Q10 81P68 94C10
PDF BibTeX XML Cite
Full Text: DOI
Janhunen, Tomi (ed.) et al., Logics in artificial intelligence. 12th European conference, JELIA 2010, Helsinki, Finland, September 13–15, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15674-8/pbk). Lecture Notes in Computer Science 6341. Lecture Notes in Artificial Intelligence, 260-272 (2010).
PDF BibTeX XML Cite
Full Text: DOI
Cambridge: Cambridge University Press (ISBN 0-521-54310-X/pbk; 978-0-521-83536-7/hbk). xiv, 427 p. (2004).
MSC:  68-01 03-01 03B70 68Q60 68T27 68Q55 94C10
PDF BibTeX XML Cite
Full Text: DOI
Berry, Gérard (ed.) et al., Computer aided verification. 13th international conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2102, 118-130 (2001).
MSC:  68Q60 68Q45 68W30 06E30 94C10
PDF BibTeX XML Cite
Full Text: Link
Pierre, Laurence (ed.) et al., Correct hardware design and verification methods. 10th IFIP WG 10.5 advanced research working conference, CHARME ’99, Bad Herrenalb, Germany, September 27-29, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1703, 202-218 (1999).
MSC:  68Q60 94C10 68T15
PDF BibTeX XML Cite
Pierre, Laurence (ed.) et al., Correct hardware design and verification methods. 10th IFIP WG 10.5 advanced research working conference, CHARME ’99, Bad Herrenalb, Germany, September 27-29, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1703, 172-186 (1999).
MSC:  68Q60 94C10
PDF BibTeX XML Cite
Brim, Luboš (ed.) et al., Mathematical foundations of computer science 1998. 23rd international symposium, MFCS ’98. Brno, Czech Republic, August 24–28, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1450, 645-655 (1998).
Reviewer: I.Strazdins (Riga)
MSC:  94C10 68Q25 68W35 06E30
PDF BibTeX XML Cite
Brim, Luboš (ed.) et al., Mathematical foundations of computer science 1998. 23rd international symposium, MFCS ’98. Brno, Czech Republic, August 24-28, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1450, 636-644 (1998).
Reviewer: U.Schöning (Ulm)
MSC:  68Q25 94C10
PDF BibTeX XML Cite
Berlin: Springer. xiii, 283 p. (1998).
PDF BibTeX XML Cite
Jiang, Tao (ed.) et al., Computing and combinatorics. 3rd annual international conference, COCOON ’97. Shanghai, China. August 20–22, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1276, 91-100 (1997).
Reviewer: H.Salum (Tallinn)
MSC:  94C10 06E30 68N17 68U07
PDF BibTeX XML Cite
Sasao, Tsutomu (ed.) et al., Representations of discrete functions. Proceedings of the IFIP WG 10.5 workshop on applications of the Reed-Muller expansions in circuit design (Reed-Muller ’95), Makuhari, Chiba, Japan. Boston, MA: Kluwer Academic Publishers. 269-292 (1996).
MSC:  94C10 68Q65 68Q30
PDF BibTeX XML Cite
Sasao, Tsutomu (ed.) et al., Representations of discrete functions. Proceedings of the IFIP WG 10.5 workshop on applications of the Reed-Muller expansions in circuit design (Reed-Muller ’95), Makuhari, Chiba, Japan. Boston, MA: Kluwer Academic Publishers. 249-268 (1996).
MSC:  68Q25 94C10
PDF BibTeX XML Cite
Sasao, Tsutomu (ed.) et al., Representations of discrete functions. Proceedings of the IFIP WG 10.5 workshop on applications of the Reed-Muller expansions in circuit design (Reed-Muller ’95), Makuhari, Chiba, Japan. Boston, MA: Kluwer Academic Publishers. 233-248 (1996).
MSC:  68Q25 94C10
PDF BibTeX XML Cite
Sasao, Tsutomu (ed.) et al., Representations of discrete functions. Proceedings of the IFIP WG 10.5 workshop on applications of the Reed-Muller expansions in circuit design (Reed-Muller ’95), Makuhari, Chiba, Japan. Boston, MA: Kluwer Academic Publishers. 163-190 (1996).
Reviewer: U.Schöning (Ulm)
MSC:  94C10 68W35
PDF BibTeX XML Cite
Sasao, Tsutomu (ed.) et al., Representations of discrete functions. Proceedings of the IFIP WG 10.5 workshop on applications of the Reed-Muller expansions in circuit design (Reed-Muller ’95), Makuhari, Chiba, Japan. Boston, MA: Kluwer Academic Publishers. 109-132 (1996).
Reviewer: U.Schöning (Ulm)
MSC:  94C10 68Q25
PDF BibTeX XML Cite
Sasao, Tsutomu (ed.) et al., Representations of discrete functions. Proceedings of the IFIP WG 10.5 workshop on applications of the Reed-Muller expansions in circuit design (Reed-Muller ’95), Makuhari, Chiba, Japan. Boston, MA: Kluwer Academic Publishers. 93-108 (1996).
MSC:  94C10 68Q65 68Q30
PDF BibTeX XML Cite
Sasao, Tsutomu (ed.) et al., Representations of discrete functions. Proceedings of the IFIP WG 10.5 workshop on applications of the Reed-Muller expansions in circuit design (Reed-Muller ’95), Makuhari, Chiba, Japan. Boston, MA: Kluwer Academic Publishers. 55-92 (1996).
MSC:  94C10 68Q65 68Q30
PDF BibTeX XML Cite

Filter Results by …

Document Type
Reviewing State
all top 5
Author
all top 5
Year of Publication
all top 3
Classification
all top 3
Software