Lics

IEEE Symposium on Logic in Computer Science

LICS Home - LICS Awards - LICS Newsletters - LICS Archive - LICS Organization - Logic-Related Conferences - Links

Index by Authors:

A B C D E F G H I J K L M N O P QR S T U V W X Y Z

Papers and Short Presentations by Authors: B

Authors on this page:

Franz Baader

Matthias Baaz

Leo Bachmair

David Baelde

Jos C. M. Baeten

Christel Baier

Patrick Baillot

Adam Bakewell

Vincent Balat

Philippe Balbiani

José L.Balcázar

Michael Baldamus

John T. Baldwin

Thomas Ball

Borja Balle

Anindya Banerjee

Vince Bárány

Franco Barbanera

Pablo Barceló

Henk Barendregt

Luis Barguñó

Michael Barnett

Bruno Barras

Clark W. Barrett

David A. Mix Barrington

Adam Barth

Logics of Programs Gilles Barthe

Libor Barto

Massimo Bartoletti

K. Jon Barwise

Eli Barzilay

Michele Basaldella

David A. Basin

Henning Basold

Marianne Baudinet

Lujo Bauer

Augustin Baziramwabo

Paul Beame

Lennart Beckman

Arnold Beckmann

Emmanuel Beffara

Nicolas Behr

Shai Ben-David

Rachel Ben-Eliyahu-Zohary

Ofer Ben-Shachar

Michael Benedikt

Massimo Benerecetti

Jesper Bengtson

David B. Benson

Nick Benton

Véronique Benzaken

Stefano Berardi

Ulrich Berger

Martin Berger

Stefan Berghofer

Clifford Bergman

Christoph Berkholz

Marco Bernardo

Jean-Philippe Bernardy

Karen L. Bernstein

Gerard Berry

Nathalie Bertrand

Inge Bethke

Olaf Beyersdorff

Girish Bhat

Alessandro Bianco

Nicole Bidoit

Laurent Bienvenu

Meghyn Bienvenu

Bodil Biering

Paul Bilokon

Lars Birkedal

Henrik Björklund

Patrick Blackburn

Bruno Blanchet

Jasmin Christian Blanchette

Frédéric Blanqui

Andreas Blass

Michel Blockelet

Michael Blondin

Bard Bloom

Valentin Blot

Achim Blumensath

Richard Blute

Manuel Bodirsky

Miquel Bofill

Corrado Böhm

Stanislav Böhm

Mikolaj Bojanczyk

Mikołaj Bojańczyk

Udi Boker

Benedikt Bollig

Filippo Bonchi

Maria Luisa Bonet

Iovka Boneva

Marcello Bonsangue

Michael Vanden Boom

Anudhyan Boral

Michele Boreale

Richard Bornat

Soumitra Bose

Ahmed Bouajjani

Alexandre Boudet

Adel Bouhoula

Pierre Bourhis

Patricia Bouyer

Simone Bova

Nathan Bowler

Laura Bozzelli

Paul Brauner

Tomáš Brázdil

Val Breazu-Tannen

Matthew de Brecht

Romain Brenguier

Davide Bresolin

Flavien Breuvart

Thomas Brihaye

Christopher H. Broadbent

Antonio Brogi

Stephen D. Brookes

James Brotherston

Carolyn Brown

Michael C. Browne

Václav Brozek

Kim B. Bruce

Guillaume Brunerie

Paul Brunet

Roberto Bruni

Glenn Bruns

Véronique Bruyére

Randal E. Bryant

Antonio Bucciarelli

Andrei A. Bulatov

Daniel Bundala

Jerry R. Burch

Guillaume Burel

Joshua Buresh-Oppenheim

Rod M. Burstall

Samuel R. Buss


Last modified: 2017-04-0512:37
Andrzej Murawski