We stand with Ukraine  

Guy Axelrod

Orcid: 0000-0002-1752-8069

According to our database1, Guy Axelrod authored at least 2 papers in 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Hierarchically Composing Level Generators for the Creation of Complex Structures.
[BibTeX]
[DOI]
Michael Beukman
,
Manuel Fokam
,
Marcel Kruger
,
Guy Axelrod
,
Muhammad Umair Nasir
,
Branden Ingram
,
Benjamin Rosman
,
Steven James
IEEE Trans. Games, June, 2024

Prefixed Tableaux and Decision Procedures for Many-Valued Modal Logics.
[BibTeX]
[DOI]
Guy Axelrod
,
Willem Conradie
Proceedings of the Joint Proceedings of the 9th Workshop on Practical Aspects of Automated Reasoning (PAAR) and the 9th Satisfiability Checking and Symbolic Computation Workshop (SC-Square), 2024


  Loading...