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 Q R S T U V W X Y Z

Papers and Short Presentations by Authors: B

Authors on this page:

Franz Baader

Matthias Baaz

Giorgio Bacci

Leo Bachmair

David Baelde

Jos C. M. Baeten

Patrick Bahr

Christel Baier

Patrick Baillot

Adam Bakewell

Vincent Balat

Philippe Balbiani

José L.Balcázar

Michael Baldamus

Paolo Baldan

John T. Baldwin

Thomas Ball

Borja Balle

Anindya Banerjee

Krzysztof Bar

Vince Bárány

Franco Barbanera

Pablo Barceló

Pablo Barceló

Henk Barendregt

Luis Barguñó

Michael Barnett

Bruno Barras

Clark W. Barrett

David A. Mix Barrington

Adam Barth

Gilles Barthe

Libor Barto

Massimo Bartoletti

K. Jon Barwise

Eli Barzilay

Michele Basaldella

Félix Baschenis

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

Martin Berger

Ulrich Berger

Stefan Berghofer

Clifford Bergman

Christoph Berkholz

Marco Bernardo

Jean-Philippe Bernardy

Karen L. Bernstein

Gerard Berry

Raphaël Berthon

Nathalie Bertrand

Inge Bethke

Olaf Beyersdorff

Girish Bhat

Alessandro Bianco

Mark Bickford

Nicole Bidoit

Meghyn Bienvenu

Laurent Bienvenu

Bodil Biering

Malgorzata Biernacka

Dariusz Biernacki

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

Brandon Bohrer

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

Tomás 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

Ulrik Buchholtz

Andrei A. Bulatov

Daniel Bundala

Jerry R. Burch

Guillaume Burel

Joshua Buresh-Oppenheim

Rod M. Burstall

Samuel R. Buss

Jan Van den Bussche


Last modified: 2018-10-2313:2
Sam Staton